maria-developers team mailing list archive
-
maria-developers team
-
Mailing list archive
-
Message #01392
FYI: maria-5.1-merge renamed to 5.1-release
Hi!
This is to inform that MariaDB release branch tree, which was at a
location with a counter-intuitive name of
lp:~maria-captains/maria/maria-5.1-merge
has been moved to
lp:~maria-captains/maria/5.1-release
Buildbot has been repointed to the new tree.
BR
Sergey
--
Sergey Petrunia, Software Developer
Monty Program AB, http://askmonty.org
Blog: http://s.petrunia.net/blog
Follow ups