Increment patch version number

idris-lang · Mar 23, 2015 · 9866d48 · 9866d48
1 parent 2d503f1
commit 9866d48
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/idris.cabal b/idris.cabal
@@ -1,5 +1,5 @@
 Name:           idris
-Version:        0.9.17
+Version:        0.9.17.1
 License:        BSD3
 License-file:   LICENSE
 Author:         Edwin Brady