Is #721 PR #722 - Bump to 5.7.14 for this merge

2018-04-24 18:32:51 +02:00 · 2018-04-24 18:32:51 +02:00 · 0606b0201a
parent ddc68b4b71
commit 0606b0201a
1 changed files with 1 additions and 1 deletions
--- a/version.txt
+++ b/version.txt
@ -1,2 +1,2 @@
-5.7.13
+5.7.14
 2018.04.24