Is #726 PR #731 - Bump to 5.7.17 for this merge

geoffmcl · geoffmcl · commit c6f194608f4f · 2018-11-17T18:23:45.000+01:00
diff --git a/version.txt b/version.txt
@@ -1,2 +1,3 @@
-5.7.16
-2018.04.27
+5.7.17
+2018.11.17
+

-Original file line number
+Diff line change
@@ @@ -1,2 +1,3 @@ @@
 -5.7.16
 -2018.04.27
 +5.7.17
 +2018.11.17
++