Ben Wolsieffer 68ea0dcd0f urdfdom: 3.3.1 -> 4.0.0 ... Update the patch to fix the conflicts and no longer propagate console-bridge and tinyxml2, which are now only private dependencies.		2024-06-09 09:30:43 +02:00
..
default.nix