]> git.joonet.de Git - adminer.git/commitdiff
projects / adminer.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d6d86fa)
Bump version to 4.12.1-dev
authorPeter Knut <peter@pematon.com>
Mon, 13 Jan 2025 21:39:53 +0000 (22:39 +0100)
committerJakub Vrana <jakub@vrana.cz>
Wed, 19 Feb 2025 10:16:43 +0000 (11:16 +0100)
adminer/include/version.inc.php patch | blob | history

diff --git a/adminer/include/version.inc.php b/adminer/include/version.inc.php
index d7fc00f88a23d77c832792f498945287ee2e7bdc..a79694fa6df652aaf838044c04670d8379ab17fe 100644 (file)
--- a/adminer/include/version.inc.php
+++ b/adminer/include/version.inc.php
@@ -1,2 +1,2 @@
 <?php
-$VERSION = "4.12.0";
+$VERSION = "4.12.1-dev";
Sources of adminer, a webclient for database management systems.