1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

version fixed

This commit is contained in:
unknown
2004-03-03 22:18:18 +02:00
parent b1d56df462
commit b8208259ad

View File

@@ -6,7 +6,7 @@ FROM=$USER@mysql.com
INTERNALS=internals@lists.mysql.com INTERNALS=internals@lists.mysql.com
DOCS=docs-commit@mysql.com DOCS=docs-commit@mysql.com
LIMIT=10000 LIMIT=10000
REPOV=5.0 REPOV=5.1
if [ "$REAL_EMAIL" = "" ] if [ "$REAL_EMAIL" = "" ]
then then