1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

version updated after merge :)

This commit is contained in:
unknown
2004-03-26 12:36:57 +01:00
parent 1d093b7f19
commit c1e76fc060

View File

@ -5,7 +5,7 @@ FROM=$USER@mysql.com
INTERNALS=internals@lists.mysql.com
DOCS=docs-commit@mysql.com
LIMIT=10000
VERSION="4.0"
VERSION="4.1"
if [ "$REAL_EMAIL" = "" ]
then