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