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

Reply via email to