Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(avoidance): fix a bug regarding the nearest search (#5575) #1014

Merged
merged 1 commit into from
Nov 14, 2023

Conversation

yuki-takagi-66
Copy link

@yuki-takagi-66 yuki-takagi-66 commented Nov 14, 2023

Description

Tests performed

see awf PR

Effects on system behavior

see awf PR

Pre-review checklist for the PR author

In-review checklist for the PR reviewers

The PR reviewers must check the checkboxes below before approval.

Post-review checklist for the PR author

The PR author must check the checkboxes below before merging.

  • There are no open discussions or they are tracked via tickets.

After all checkboxes are checked, anyone who has write access can merge the PR.

…ation#5575)

* fix a bug regarding nearest search

---------

Signed-off-by: Yuki Takagi <[email protected]>
@tkimura4 tkimura4 enabled auto-merge November 14, 2023 08:32
@tkimura4 tkimura4 merged commit 3457d44 into beta/v0.10.5 Nov 14, 2023
12 checks passed
@tkimura4 tkimura4 deleted the beta/v0.10.5+d4d0804 branch November 14, 2023 08:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants