Merge pull request #123 from sanity/fixNumPenalty

bumped version num
sanity · Apr 27, 2015 · 4c3ccf1 · 4c3ccf1
2 parents 041f079 + 60a1045
commit 4c3ccf1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -32,7 +32,7 @@
         be accompanied by a bump in version number, regardless of how minor the change.
     -->
 
-    <version>0.7.12</version>
+    <version>0.7.13</version>
     <repositories>
         <repository>
             <id>sanity-maven-repo</id>