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

Backport #25 to branch foxy #34

Merged
merged 1 commit into from
Apr 14, 2021
Merged

Backport #25 to branch foxy #34

merged 1 commit into from
Apr 14, 2021

Conversation

asorbini
Copy link
Collaborator

This PR backports changes from PR #25 to branch foxy.

I have verified locally that the code builds and that things work with a hello world. I'm creating the PR only for bookkeeping purposes.
I will merge it without additional reviews, since Foxy is not supported as Tier 1.

Signed-off-by: Andrea Sorbini <asorbini@rti.com>
@asorbini asorbini added foxy-backports PR should be backported to Foxy foxy PR pertaining the Foxy release labels Apr 14, 2021
@asorbini asorbini merged commit 352fbe4 into foxy Apr 14, 2021
@delete-merged-branch delete-merged-branch bot deleted the asorbini/backport-25-foxy branch April 14, 2021 21:40
@asorbini asorbini added the backport The PR backports another PR to an older release label Apr 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport The PR backports another PR to an older release foxy PR pertaining the Foxy release foxy-backports PR should be backported to Foxy
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant