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.)
_______________________________________________
LibreOffice mailing list
LibreOffice@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/libreoffice
