Skip to content

Fix embeddedRTPS repo#102

Merged
pablogs9 merged 1 commit intogalacticfrom
fix/repos
Oct 20, 2021
Merged

Fix embeddedRTPS repo#102
pablogs9 merged 1 commit intogalacticfrom
fix/repos

Conversation

@pablogs9
Copy link
Copy Markdown
Member

No description provided.

@pablogs9 pablogs9 requested a review from Acuadros95 October 20, 2021 07:03
@pablogs9
Copy link
Copy Markdown
Member Author

@mergify backport main

@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented Oct 20, 2021

backport main

🟠 Waiting for conditions

  • merged [:pushpin: backport requirement]

Hey, I reacted but my real name is @Mergifyio

@pablogs9 pablogs9 merged commit 86efbad into galactic Oct 20, 2021
@pablogs9 pablogs9 deleted the fix/repos branch October 20, 2021 07:31
mergify Bot pushed a commit that referenced this pull request Oct 20, 2021
(cherry picked from commit 86efbad)

# Conflicts:
#	libmicroros.mk
@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented Oct 20, 2021

backport main

✅ Backports have been created

pablogs9 added a commit that referenced this pull request Oct 20, 2021
* Fix embeddedRTPS repo (#102)

(cherry picked from commit 86efbad)

# Conflicts:
#	libmicroros.mk

* Update libmicroros.mk

Co-authored-by: Pablo Garrido <pablogs9@gmail.com>
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.

2 participants