mirror of
https://github.com/MariaDB/server.git
synced 2025-08-31 22:22:30 +03:00
9 lines
260 B
Plaintext
9 lines
260 B
Plaintext
# Version number for MariaDB is maintained here.
|
|
# The version string is created from:
|
|
# MYSQL_VERSION_MAJOR.MYSQL_VERSION_MINOR.MYSQL_VERSION_PATCH-MYSQL_VERSION_EXTRA
|
|
#
|
|
MYSQL_VERSION_MAJOR=10
|
|
MYSQL_VERSION_MINOR=0
|
|
MYSQL_VERSION_PATCH=12
|
|
MYSQL_VERSION_EXTRA=
|