From 9e847302b21355f355c87890477f4dd485da26b1 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Fri, 14 Jul 2023 21:56:57 -0500 Subject: [PATCH] update VERSION for release --- VERSION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VERSION b/VERSION index d223b45108..9c50fbf5d7 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -9.5.0 +9.5.1 -- 2.39.5