[Maria-developers] 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