https://gerrit.libreoffice.org/#/c/959/ _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice
gerrit didn't seem to inform the list of this patch when I asked it to
cherry pick, please see
