On Fri, 2013-06-07 at 14:14 +0200, Stanislav Horáček wrote:
I'm sorry, but I don't see the change in recent commits. Am I missing something?
humph, I clearly did something stupid. I have a clear memory of pushing it, but no sign of it. Anyway, definitely done now as http://cgit.freedesktop.org/libreoffice/help/commit/?id=533cc6d89e457d7f7f1e3e0a4fae8e23e89d7a7f C.