Magnus,
> But why didn't you file a bug report for this? Seems like there is a big
> risk of this patch getting lost somewhere in the release tree otherwise.
If it makes it into the release tree, it will make it back into the main
tree, as we always merge back after doing a release. (We typically fix
several small issues during a release.)
Daniel
--
Daniel Fischer, Team Lead, Build +46 18174400 ext. 4537
MySQL GmbH, Dachauer Strasse 37, D-80335 Muenchen - www.mysql.com
Geschaeftsfuehrer: Kaj Arnoe HRB Muenchen 162140
Are you MySQL certified? mysql.com/certification 49.011, 8.376