mirror of
https://github.com/MariaDB/server.git
synced 2025-01-27 09:14:17 +01:00
Increased the version number
This commit is contained in:
parent
d2a4b78574
commit
c26bee40eb
1 changed files with 1 additions and 1 deletions
2
VERSION
2
VERSION
|
@ -4,5 +4,5 @@
|
||||||
#
|
#
|
||||||
MYSQL_VERSION_MAJOR=10
|
MYSQL_VERSION_MAJOR=10
|
||||||
MYSQL_VERSION_MINOR=0
|
MYSQL_VERSION_MINOR=0
|
||||||
MYSQL_VERSION_PATCH=12
|
MYSQL_VERSION_PATCH=13
|
||||||
MYSQL_VERSION_EXTRA=
|
MYSQL_VERSION_EXTRA=
|
||||||
|
|
Loading…
Add table
Reference in a new issue