search

ros / resource_retriever

Package used to retrieve resources of different kinds, e.g. http://, file://, the ROS specific package://, etc.
8 stars 42 forks source link

1.12.7 #68

Closed cottsay closed 2 years ago

cottsay commented 2 years ago

Full diff: https://github.com/ros/resource_retriever/compare/1.12.6...release/1.12.7

I will fast-forward merge this PR and trigger the release upon maintainer approval.