urdfdom-headers (1.0.0-1) unstable; urgency=medium * Cherry pick patch for current version to fix problem in upstream code * Imported Upstream version 1.0.0 (Closes: #820819) * Remove not needed patch -- Jose Luis Rivero <email address hidden> Sat, 23 Jul 2016 00:38:00 +0000