Patch was pushed, see <http://cgit.freedesktop.org/libreoffice/core/commit/?id=72778119fde55218354ee100481bfad2a1cedf35>. Sorry, forgot to send a mail/change the mail subject. Philipp