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.

Sign up for GitHub

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

Jump to bottom

Patch for double-delete issue reported by #671 #672

Merged
merged 2 commits into from
Apr 16, 2016
Merged

Patch for double-delete issue reported by #671 #672

merged 2 commits into from
Apr 16, 2016

Conversation

mxgrey
Copy link
Member

@mxgrey mxgrey commented Apr 15, 2016

No description provided.

@jslee02
Copy link
Member

jslee02 commented Apr 16, 2016

👍

@jslee02 jslee02 added this to the DART 4.3.6 milestone Apr 16, 2016
@scpeters
Copy link
Collaborator

👍 I tested it against the failing gazebo test and it fixed it

@jslee02
Copy link
Member

jslee02 commented Apr 16, 2016 •
edited
Loading

I tested it against the failing gazebo test and it fixed it

Thanks. Once it's confirmed that this patch works, then I will upload the debian packages to ppa:dartsim.

Oh, you already tested it. Merging.

@jslee02 jslee02 merged commit 0e38f63 into release-4.3 Apr 16, 2016
@mxgrey mxgrey mentioned this pull request Apr 16, 2016
Closed
@jslee02
Copy link
Member

jslee02 commented Apr 16, 2016

@scpeters The dart4 packages are uploaded to the ppa:dartsim for trusty and wily. Also, homebrew formula will be updated soon.

@jslee02 jslee02 deleted the patch/release-4.3/double_delete branch May 10, 2016 13:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
DART 4.3.6
Development

Successfully merging this pull request may close these issues.
3 participants
@mxgrey @jslee02 @scpeters