From: Michael Wallner <mike@php.net>
Date: Tue, 10 Sep 2019 13:18:30 +0000 (+0200)
Subject: release v4.1.2
X-Git-Tag: v4.1.2
X-Git-Url: https://git.m6w6.name/?p=pharext%2Fpharext;a=commitdiff_plain;h=ab3dad846161d248f3c426ebc545cc6eb02fb5bc

release v4.1.2
---

diff --git a/bin/pharext b/bin/pharext
index 363ad33..fbbf4d7 100755
Binary files a/bin/pharext and b/bin/pharext differ
diff --git a/bin/pharext.update b/bin/pharext.update
index 2d94a20..dbd621e 100755
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 db3ab81..e1a749e 100644
--- 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() {