Preparation for release 3.1.5

2026-08-19 13:43:22 +00:00 · 2016-08-10 11:08:25 -04:00
parent 746cb3e7dd
commit 3cbe098b17
3 changed files with 5 additions and 5 deletions
@@ -4,4 +4,4 @@

 MAJOR_VERSION=3
 MINOR_VERSION=1
-SUBMINOR_VERSION=4
+SUBMINOR_VERSION=5