maria-developers team mailing list archive

[Michael Widenius <monty@xxxxxxxxxxxx>]

Hi!

>>>>> "Sergey" == Sergey Petrunya <psergey@xxxxxxxxxxxx> 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