mirror of
https://github.com/MariaDB/server.git
synced 2026-05-07 23:54:31 +02:00
Merge with lp:maria
This commit is contained in:
parent
713bf114f0
commit
44e6c2f253
1 changed files with 1 additions and 1 deletions
|
|
@ -3,4 +3,4 @@ tree_location = lp:maria
|
||||||
post_commit_to = maria-developers@lists.launchpad.net
|
post_commit_to = maria-developers@lists.launchpad.net
|
||||||
post_commit_url = lp:maria
|
post_commit_url = lp:maria
|
||||||
tree_name = maria
|
tree_name = maria
|
||||||
project_name = "mariadb 5.1, with Maria 1.5"
|
project_name = "MariaDB 5.1, with Maria 1.5"
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue