From 53dfafd2ea80e318eded7937252d0c1d9b7a2c93 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Wed, 1 Jun 2016 10:09:29 -0700
Subject: [PATCH] Release 4.2.5

---
 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 4eebbcf6..03606df1 100644
--- a/adminer/include/version.inc.php
+++ b/adminer/include/version.inc.php
@@ -1,2 +1,2 @@
 <?php
-$VERSION = "4.2.5-dev";
+$VERSION = "4.2.5";
diff --git a/changes.txt b/changes.txt
index 3011a08a..3b6dc4d6 100644
--- a/changes.txt
+++ b/changes.txt
@@ -1,4 +1,4 @@
-Adminer 4.2.5-dev:
+Adminer 4.2.5 (released 2016-06-01):
 Fix remote execution in SQLite query
 SQLite: Require credentials to use
 PostgreSQL: Support KILL