From: Jakub Vrana <jakub@vrana.cz>
Date: Thu, 18 Jul 2019 06:56:37 +0000 (+0200)
Subject: Release 4.7.2
X-Git-Tag: v4.7.2
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=fd1691cb1d875cc23a7a51a0f890a6e932b6b304;p=adminer.git

Release 4.7.2
---

diff --git a/adminer/include/version.inc.php b/adminer/include/version.inc.php
index 0d0af8ac..5744039e 100644
--- a/adminer/include/version.inc.php
+++ b/adminer/include/version.inc.php
@@ -1,2 +1,2 @@
 <?php
-$VERSION = "4.7.2-dev";
+$VERSION = "4.7.2";
diff --git a/changes.txt b/changes.txt
index 2465dcac..6d2ec5ee 100644
--- a/changes.txt
+++ b/changes.txt
@@ -1,4 +1,4 @@
-Adminer 4.7.2-dev:
+Adminer 4.7.2 (released 2019-07-18):
 Do not attempt logging in without password (bug #676)
 Stretch footer over the whole table width (bug #624)
 Allow overwriting tables when copying them