Hi, On 11 July 2016 at 10:23, Stephan Bergmann <sberg...@redhat.com> wrote: > On 07/11/2016 11:18 AM, Daniel Stone wrote: >> On 11 July 2016 at 09:19, Miklos Vajna <vmik...@collabora.co.uk> wrote: >>> On Mon, Jul 11, 2016 at 09:43:20AM +0200, Stephan Bergmann >>> <sberg...@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.)
Sure; the problem was that the mails were never sent, not that the lists were failing to deliver them. Please let me know on the next commit if the mail does not arrive, because it certainly should have been fixed from earlier this morning. Cheers, Daniel _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/libreoffice
