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

New version: EnhancedGJK v0.4.0 #1830

Merged
merged 1 commit into from
Jul 6, 2019
Merged

Conversation

JuliaRegistrator
Copy link
Contributor

UUID: 3d39a06a-b57e-5769-b499-4d62b23c243f
Repo: https://github.com/JuliaRobotics/EnhancedGJK.jl.git
Tree: 4e12f1e00d1f5350048cea7d78cbcc40972f6a5c

Registrator tree SHA: 3358484330f361397979cc5f65a9354333511e25
JuliaRegistrator referenced this pull request in JuliaRobotics/EnhancedGJK.jl Jul 5, 2019
@StefanKarpinski StefanKarpinski merged commit 6c7f3e3 into master Jul 6, 2019
@delete-merged-branch delete-merged-branch bot deleted the register/EnhancedGJK/v0.4.0 branch July 6, 2019 21:16
@julia-tagbot
Copy link

julia-tagbot bot commented Jul 6, 2019

I've created release v0.4.0, here it is.

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

2 participants