Skip to content
This repository has been archived by the owner on Feb 3, 2025. It is now read-only.

Bump version to 9.13.1 #2743

Merged
merged 1 commit into from
May 28, 2020
Merged

Bump version to 9.13.1 #2743

merged 1 commit into from
May 28, 2020

Conversation

iche033
Copy link
Contributor

@iche033 iche033 commented May 28, 2020

Preparing for release. Bumped patch version for the bugfix in pull request #2742

Signed-off-by: Ian Chen ichen@osrfoundation.org

Signed-off-by: Ian Chen <ichen@osrfoundation.org>
@iche033 iche033 merged commit d9f480e into gazebo9 May 28, 2020
@iche033 iche033 deleted the bump_9.13.1 branch May 28, 2020 17:33
@moriarty
Copy link
Contributor

Would this have caused #2744?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants