Version bump, since we changed console API a bit.

2016-02-17 12:43:44 +08:00 · 2016-02-17 12:43:44 +08:00 · 6c181d5689
parent cc59efb23d
commit 6c181d5689
1 changed files with 2 additions and 2 deletions
--- a/version.txt
+++ b/version.txt
@ -1,3 +1,3 @@
-5.1.39
+5.1.40
-2016.02.16
+2016.02.17