Merge remote-tracking branch 'dev/12-3-stable' into 12-3-stable

50d93f8d · GitLab Release Tools Bot · 7a89e5df · 2417d5be · 50d93f8d · 50d93f8d
Commit 50d93f8d authored Oct 07, 2019 by GitLab Release Tools Bot
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 1 deletion

CHANGELOG.md CHANGELOG.md +4 -0

VERSION VERSION +1 -1

No files found.
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,10 @@
 documentation](doc/development/changelog.md) for instructions on adding your own
 entry.
+## 12.3.5
+- No changes.
 ## 12.3.4
 - No changes.

--- a/VERSION
+++ b/VERSION
-12.3.4
+12.3.5