OK. Thanks! Pushed to master. (Unfortunately my environment had problems with the diacritics in your name, so I had to drop them from the author information.)
--tml _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice