From 94ea335bec13a53d6d3df9256787e5ba93e9a2cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johannes=20M=C3=BCller?= Date: Mon, 23 Jan 2023 11:12:35 +0100 Subject: [PATCH] Update `VERSION` to `1.7.2.-dev` --- src/VERSION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/VERSION b/src/VERSION index 943f9cbc4ec7..d69c06dee400 100644 --- a/src/VERSION +++ b/src/VERSION @@ -1 +1 @@ -1.7.1 +1.7.2-dev