[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
Hi!
"Sergey" == Sergey Petrunya <psergey@askmonty.org> writes:
Sergey> Hi! Sergey> This is to inform that MariaDB release branch tree, which was at a Sergey> location with a counter-intuitive name of Sergey> lp:~maria-captains/maria/maria-5.1-merge Sergey> has been moved to Sergey> lp:~maria-captains/maria/5.1-release Sergey> Buildbot has been repointed to the new tree. This was my fault (wrong push to the merge tree). Fortunately no big damage done as we planed to do the above rename anyway. Regards, Monty
participants (2)
-
Michael Widenius
-
Sergey Petrunya