Release version 13.7.2

Signed-off-by: Yauheni Khnykin <[email protected]>
heremaps · Oct 25, 2023 · 9f73e4d · 9f73e4d
1 parent 011f8ff
commit 9f73e4d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Gluecodium project Release Notes
 
+## 13.7.2
+Release date: 2023-10-25
+### Bug fixes:
+  * Marks internals as @hidden in generated Java code to hide them from Javadoc (OpenJDK 17).
+
 ## 13.7.1
 Release date: 2023-09-21
 ### Bug fixes:

diff --git a/gluecodium/src/main/resources/version.properties b/gluecodium/src/main/resources/version.properties
@@ -1 +1 @@
-version = 13.7.1
+version = 13.7.2