From 54d574d6559ce7e6f865f8b1156cf0e1d2a27cfe Mon Sep 17 00:00:00 2001 From: Fiete Ostkamp Date: Sat, 25 May 2024 11:49:56 +0200 Subject: Reindexing in graphadmin not working reliably - disable the reindexing mechanism that was introduced with 1.13.6 Issue-ID: AAI-3856 Change-Id: Idb3982c816df2b7e99c2edccaaea0c8a20cc1b16 Signed-off-by: Fiete Ostkamp --- version.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'version.properties') diff --git a/version.properties b/version.properties index 53fad52..f92cbd9 100644 --- a/version.properties +++ b/version.properties @@ -5,7 +5,7 @@ major_version=1 minor_version=13 -patch_version=6 +patch_version=7 base_version=${major_version}.${minor_version}.${patch_version} -- cgit 1.2.3-korg