PR #793 - Bump to 5.7.25 for this small docs fix

2019-05-31 20:11:30 +02:00 · 2019-05-31 20:11:30 +02:00 · d7b58cfba7
parent 654d00a7e8
commit d7b58cfba7
1 changed files with 2 additions and 2 deletions
--- a/version.txt
+++ b/version.txt
@ -1,2 +1,2 @@
-5.7.24
+5.7.25
-2019.03.30
+2019.05.31