From b0be75d2ca4e170b24b293902308f91597f52214 Mon Sep 17 00:00:00 2001 From: Mariana Balla Date: Wed, 11 Nov 2020 16:40:20 +0100 Subject: [PATCH] updated version number --- VERSION | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/VERSION b/VERSION index e1ef33a8c..84a58de68 100644 --- a/VERSION +++ b/VERSION @@ -1,5 +1,5 @@ # file that keeps track of the latest tag in cvs and the corresponding version # this automates publishing a new version, when it's tagged # if you don't understand this, don't worry. You don't need this file -VERSION=3.5.6 -DEVVERSION=3.5.7 +VERSION=3.5.8 +DEVVERSION=3.5.9