Is #709 PR #714 - bump to 5.7.12 for this merge

2018-04-23 19:15:38 +02:00 · 2018-04-23 19:15:38 +02:00 · ca4c991858
parent a95c82df7f
commit ca4c991858
1 changed files with 1 additions and 1 deletions
--- a/version.txt
+++ b/version.txt
@ -1,2 +1,2 @@
-5.7.11
+5.7.12
 2018.04.23