Skip to content

Clarify why Travis uses Trusty#77

Merged
mlautman merged 2 commits intomasterfrom
pr-trusty-doc
May 21, 2019
Merged

Clarify why Travis uses Trusty#77
mlautman merged 2 commits intomasterfrom
pr-trusty-doc

Conversation

@davetcoleman
Copy link
Copy Markdown
Member

In response to @henningkayser 's comment #57 (comment)

@davetcoleman davetcoleman mentioned this pull request Apr 5, 2019
7 tasks
Co-Authored-By: mlautman <mikeblautman@gmail.com>
@mlautman mlautman merged commit 0e40897 into master May 21, 2019
@delete-merged-branch delete-merged-branch bot deleted the pr-trusty-doc branch May 21, 2019 22:20
MikeWrock pushed a commit to MikeWrock/moveit2 that referenced this pull request Aug 15, 2022
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.

4 participants