From fd1691cb1d875cc23a7a51a0f890a6e932b6b304 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Thu, 18 Jul 2019 08:56:37 +0200
Subject: [PATCH] Release 4.7.2

---
 adminer/include/version.inc.php | 2 +-
 changes.txt                     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.39.5