[Maria-developers] [Branch ~maria-captains/maria/5.1] Rev 2742: Merge with bug fix

Merge authors: Michael Widenius (monty) ------------------------------------------------------------ revno: 2742 [merge] committer: Michael Widenius branch nick: maria-skr timestamp: Tue 2009-10-06 09:20:31 +0300 message: Merge with bug fix modified: storage/maria/ma_extra.c storage/maria/ma_locking.c storage/myisam/mi_extra.c -- lp:maria https://code.launchpad.net/~maria-captains/maria/5.1 Your team Maria developers is subscribed to branch lp:maria. To unsubscribe from this branch go to https://code.launchpad.net/~maria-captains/maria/5.1/+edit-subscription.