release v4.1.2

diff --git a/bin/pharext b/bin/pharext
index 363ad33db0375eb4cd6d933af092ccb1ba063203..fbbf4d7abb0522212a66d597c280c3d7079a83dc 100755 (executable)
Binary files a/bin/pharext and b/bin/pharext differ

diff --git a/bin/pharext.update b/bin/pharext.update
index 2d94a20eb3f7a203a20bff594f8489b980da2895..dbd621ef1c81fdb861222afd8fded53399642e2e 100755 (executable)
Binary files a/bin/pharext.update and b/bin/pharext.update differ

diff --git a/src/pharext/Metadata.php b/src/pharext/Metadata.php
index db3ab8135a153cc1ad85f13d68d5aa6ae33e138c..e1a749efad43c871931d836190b753c9b8c5fb1b 100644 (file)
--- a/src/pharext/Metadata.php
+++ b/src/pharext/Metadata.php
@@ -5,7 +5,7 @@ namespace pharext;
 class Metadata
 {
        static function version() {
-               return "@dev-master";
+               return "4.1.2";
        }
 
        static function header() {