Skip to content

chore: remove tinyxml2 vendor#40

Merged
ahcorde merged 1 commit intoros:rollingfrom
wep21:remove-tinyxml2-vendor
Feb 17, 2026
Merged

chore: remove tinyxml2 vendor#40
ahcorde merged 1 commit intoros:rollingfrom
wep21:remove-tinyxml2-vendor

Conversation

@wep21
Copy link
Contributor

@wep21 wep21 commented Feb 14, 2026

  • as title

Signed-off-by: wep21 <daisuke.nishimatsu1021@gmail.com>
@wep21
Copy link
Contributor Author

wep21 commented Feb 14, 2026

cc @ahcorde

@ahcorde ahcorde merged commit f485e1e into ros:rolling Feb 17, 2026
4 checks passed
@wep21 wep21 deleted the remove-tinyxml2-vendor branch February 17, 2026 15:04
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