diff options
author | Fiete Ostkamp <Fiete.Ostkamp@telekom.de> | 2024-05-03 13:14:16 +0200 |
---|---|---|
committer | Fiete Ostkamp <Fiete.Ostkamp@telekom.de> | 2024-05-03 13:16:17 +0200 |
commit | 9b632870268cbb897c8c7f5b8f44ed08d23c6e97 (patch) | |
tree | ce202c7f7fe96efcb25de36225df7c660e070b15 /version.properties | |
parent | 97190e79ff655aaf567060a661c13e5693b54bf2 (diff) |
Release 1.13.5 version of graphadmin
- use newer java 8 image
- add reindexing logic when db is not empty upon schema creation
Issue-ID: AAI-3844
Change-Id: Ie79dbae2bf2bc7a0965a4cdc1072f4c4e18797bb
Signed-off-by: Fiete Ostkamp <Fiete.Ostkamp@telekom.de>
Diffstat (limited to 'version.properties')
-rw-r--r-- | version.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version.properties b/version.properties index c5bbf54..51a6e0a 100644 --- a/version.properties +++ b/version.properties @@ -5,7 +5,7 @@ major_version=1 minor_version=13 -patch_version=4 +patch_version=5 base_version=${major_version}.${minor_version}.${patch_version} |