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 _______________________________________________ Mailing list: https://launchpad.net/~maria-developers Post to : maria-developers@lists.launchpad.net Unsubscribe : https://launchpad.net/~maria-developers More help : https://help.launchpad.net/ListHelp