From cded501cb0f4a5fbd8330aaab3bc64d2ac1cb1f1 Mon Sep 17 00:00:00 2001
From: kraus <olikraus@gmail.com>
Date: Sat, 11 Aug 2018 16:25:11 +0200
Subject: [PATCH] 2.23.16, issue #675

---
 tools/release/print_release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/release/print_release.sh b/tools/release/print_release.sh
index 78811b69..4e048a96 100755
--- a/tools/release/print_release.sh
+++ b/tools/release/print_release.sh
@@ -1,2 +1,2 @@
 # without 'v' prefix
-echo -n "2.23.15"
+echo -n "2.23.16"