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

[ompl] upgrade to v1.5.1 #15276

Merged
merged 1 commit into from Dec 24, 2020
Merged

[ompl] upgrade to v1.5.1 #15276

merged 1 commit into from Dec 24, 2020

Conversation

seanyen
Copy link
Contributor

@seanyen seanyen commented Dec 23, 2020

Describe the pull request

  • What does your PR fix?
    Upgrade OMPL to 1.5.1.

  • Which triplets are supported/not supported? Have you updated the CI baseline?
    I don't expect this change will make any regression on CI baseline.

  • Does your PR follow the maintainer guide?
    Yes

@seanyen
Copy link
Contributor Author

seanyen commented Dec 23, 2020

cc @mamoll

@seanyen seanyen changed the title [ompl] upgrade v1.5.1 [ompl] upgrade to v1.5.1 Dec 23, 2020
@BillyONeal BillyONeal merged commit a8ac047 into microsoft:master Dec 24, 2020
@BillyONeal
Copy link
Member

Thanks!

ryukw7 pushed a commit to ryukw7/vcpkg that referenced this pull request Dec 24, 2020
@mamoll
Copy link
Contributor

mamoll commented Dec 28, 2020

Thanks, @seanyen

seanyen added a commit to ms-iot/vcpkg that referenced this pull request Mar 12, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants