Accidentally replied only to Albert (not used to using gmail to manage mailing lists). This patch is pushed to master.
Kohei _______________________________________________ LibreOffice mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/libreoffice
