mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
Increase version number
This commit is contained in:
parent
63a0e5640d
commit
69742e4ee3
1 changed files with 1 additions and 1 deletions
2
VERSION
2
VERSION
|
@ -4,5 +4,5 @@
|
|||
#
|
||||
MYSQL_VERSION_MAJOR=10
|
||||
MYSQL_VERSION_MINOR=0
|
||||
MYSQL_VERSION_PATCH=11
|
||||
MYSQL_VERSION_PATCH=12
|
||||
MYSQL_VERSION_EXTRA=
|
||||
|
|
Loading…
Reference in a new issue