1
0
mirror of https://github.com/MariaDB/server.git synced 2026-10-23 18:49:29 +03:00

Fix tree name which was accidentally changed

during the merge.
This commit is contained in:
Dmitry Lenev
2010-11-19 11:31:56 +03:00
parent 8d0eabd20a
commit 41af8df76f

View File

@@ -1,4 +1,4 @@
[MYSQL]
post_commit_to = "commits@lists.mysql.com"
post_push_to = "commits@lists.mysql.com"
tree_name = "mysql-5.5-runtime"
tree_name = "mysql-5.5-bugteam"