urdfdom-headers 0.4.1-1 is marked for autoremoval from testing on 2016-04-07

It is affected by these RC bugs:
815683: liburdfdom-headers-dev: gratuitous pointer size check


-- 
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers

Reply via email to