Is #655 PR #662 - Bump to 5.7.2 for this merge

2018-01-01 18:25:17 +01:00 · 2018-01-01 18:25:17 +01:00 · 8731f25aa9
parent 1db2208106
commit 8731f25aa9
1 changed files with 1 additions and 1 deletions
--- a/version.txt
+++ b/version.txt
@ -1,2 +1,2 @@
-5.7.1
+5.7.2
 2018.01.01