Bump version number.

diff --git a/version.h b/version.h
index 83ba4111046a550756b630bf516e77bf2cb488e5..48f7ad0e352af3cb9906caef944bbf2e4b1fe9d2 100644 (file)
--- a/version.h
+++ b/version.h
@@ -13,6 +13,6 @@
 
 #define MAJOR   1              // Major version number
 #define MINOR   3              // Minor version number
-#define PATCH   12             // Patch release number
+#define PATCH   13             // Patch release number
 
 #endif // __VERSION_H__