diff options
| -rw-r--r-- | REFLECTION | 2 | ||||
| -rw-r--r-- | package.xml | 2 | ||||
| -rw-r--r-- | php_rpminfo.h | 2 | 
3 files changed, 3 insertions, 3 deletions
| @@ -1,4 +1,4 @@ -Extension [ <persistent> extension #94 rpminfo version 0.3.0 ] { +Extension [ <persistent> extension #15 rpminfo version 0.3.1 ] {    - Constants [271] {      Constant [ string RPMVERSION ] { 4.15.1 } diff --git a/package.xml b/package.xml index e684c9e..528f2a9 100644 --- a/package.xml +++ b/package.xml @@ -18,7 +18,7 @@ Available functions:    </lead>    <date>2020-03-12</date>    <version> -    <release>0.3.1dev</release> +    <release>0.3.1</release>      <api>0.3.0</api>    </version>    <stability> diff --git a/php_rpminfo.h b/php_rpminfo.h index abbda0b..15711d7 100644 --- a/php_rpminfo.h +++ b/php_rpminfo.h @@ -22,7 +22,7 @@  extern zend_module_entry rpminfo_module_entry;  #define phpext_rpminfo_ptr &rpminfo_module_entry -#define PHP_RPMINFO_VERSION "0.3.1-dev" +#define PHP_RPMINFO_VERSION "0.3.1"  #ifdef PHP_WIN32  #	define PHP_RPMINFO_API __declspec(dllexport) | 
