debian/1.12.12-1

Johannes Schauer Marin Rodrigues

@josch

19610dea · debian/changelog: release 1.12.12-1 · Jul 14, 2018

ros-urdf Debian release 1.12.12-1