release: Update package.xml version to 4.12.0

humanoid-path-planner · Sep 30, 2021 · 5b33d18 · 5b33d18
1 parent ce12446
commit 5b33d18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.xml b/package.xml
@@ -1,7 +1,7 @@
 <?xml version='1.0'?>
  <package format='2'>
  <name>hpp-util</name>
- <version>4.11.0</version>
+ <version>4.12.0</version>
  <description>Debugging tools for the HPP project. </description>
 
  <maintainer email='hpp@laas.fr'>Joseph Mirabel</maintainer>