From 26dd18ade2d1ed8a9212974544d954d40fc6af36 Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Wed, 22 Jul 2020 16:05:55 +0200
Subject: [PATCH] v4.2.2
---
package.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/package.xml b/package.xml
index bbb9d57..750006f 100644
--- a/package.xml
+++ b/package.xml
@@ -1,7 +1,7 @@
<?xml version="1.0"?>
<package format="3">
<name>dynamic-graph</name>
- <version>4.2.1</version>
+ <version>4.2.2</version>
<description>
Dynamic graph library
</description>
--
GitLab