On 24/02/16 23:20, Jochen Sprickerhof wrote:
* Emilio Pozuelo Monfort <pochu@debian.org> [2016-02-24 18:25]:Looks like some packages are failing to build. Can you take a look?I've pushed fixes for everything, but now we got bitten by the new urdfdom version and #815814.
That's sorted. This is blocked by #817813 now though. Emilio