Release 4.7.2

diff --git a/adminer/include/version.inc.php b/adminer/include/version.inc.php
index 0d0af8ac192295c97bba9a174995593297ef9513..5744039ed1c2c81596b3af23ec5c1bb98adb802d 100644 (file)
--- 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 2465dcacf3a2ab2995ede288ab9ff7be7edfc4fa..6d2ec5eec916f9582a12a76e0bb2facfbec0a3e2 100644 (file)
--- 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