Increment patch version

idris-lang · Sep 22, 2015 · ccf6c40 · ccf6c40
1 parent f1ffd5c
commit ccf6c40
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.19
+Version:        0.9.19.1
 License:        BSD3
 License-file:   LICENSE
 Author:         Edwin Brady