New update according to 1.19 English revision (updated mysql-upgrading guide for bug 111072, thanks to vivo for the patche). Reproducible: Always
Created attachment 108243 [details, diff] unified diff file for mysql-upgrading.xml
Thanks very much, Enrique. Now in CVS.