Hello Vincent, they are already pushed on master.
https://gerrit.libreoffice.org/#/c/3030/ http://cgit.freedesktop.org/libreoffice/core/commit/?id=002a0d91e4b0d8214656741192ec3260a8764a73 Thomas _______________________________________________ LibreOffice mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/libreoffice
