From a845c71c232cdf495092bd79405fd9a410a67126 Mon Sep 17 00:00:00 2001
From: Jordi Deu-Pons <jordi@jordeu.net>
Date: Mon, 5 Dec 2022 16:49:54 +0100
Subject: [PATCH] Release v0.7.2 [release]

---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index 39e898a4..7486fdbc 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.7.1
+0.7.2