It is out for you now: MariaDB 5.1.42

After more than one year of work we are proud to release our first stable version.
So far we had:

• MariaDB 5.1.32 Beta (2009-04-20)
• MariaDB 5.1.38 Beta (2009-10-29)
• MariaDB 5.1.39 Beta (2009-11-15)
• MariaDB 5.1.41 RC(2010-01-13)
• MariaDB 5.1.42 (Current Stable Release)
…