From 9f73e4de04e8a95a6f0a1857b9ca690fbb5a93dd Mon Sep 17 00:00:00 2001
From: Yauheni Khnykin <yauheni.khnykin@here.com>
Date: Wed, 25 Oct 2023 09:08:20 +0200
Subject: [PATCH] Release version 13.7.2

Signed-off-by: Yauheni Khnykin <yauheni.khnykin@here.com>
---
 CHANGELOG.md                                     | 5 +++++
 gluecodium/src/main/resources/version.properties | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 96de885c31..f52a20b8dc 100644
--- 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
index 2153021ddc..e1c1fc93c5 100644
--- a/gluecodium/src/main/resources/version.properties
+++ b/gluecodium/src/main/resources/version.properties
@@ -1 +1 @@
-version = 13.7.1
+version = 13.7.2