On 07/11/2016 11:18 AM, Daniel Stone wrote:
On 11 July 2016 at 09:19, Miklos Vajna <vmiklos@collabora.co.uk> wrote:On Mon, Jul 11, 2016 at 09:43:20AM +0200, Stephan Bergmann <sbergman@redhat.com> wrote:Miklos had contacted someone at fdo already (though apparently w/o any positive outcome yet?)Yes, Daniel (now CC'd) said he'll look at it, but I have no further updates.This should've been fixed earlier; please let me know if it's not.
Unfortunately not. <https://lists.freedesktop.org/archives/libreoffice-commits/> still ends at <https://lists.freedesktop.org/archives/libreoffice-commits/2016-July/119050.html> from July 4. (And, being subscribed to that mailing list, I haven't received any later mails to my inbox either, so it's not only a problem with the archive.)