Update PHP_DECIMAL_VERSION

Rudi Theunissen · Rudi Theunissen · commit c421e258a76d · 2020-02-03T13:16:28.000-08:00
diff --git a/php_decimal.h b/php_decimal.h
@@ -49,7 +49,7 @@
 #include "ext/spl/spl_exceptions.h"
 #include "mpdecimal.h"
 
-#define PHP_DECIMAL_VERSION "1.3.0"
+#define PHP_DECIMAL_VERSION "1.3.1"
 
 #define PHP_DECIMAL_EXTNAME "decimal"
 
