Re: No more commit mails?

On 07/11/2016 11:24 AM, Daniel Stone wrote:
> On 11 July 2016 at 10:23, Stephan Bergmann <sbergman@redhat.com> wrote:
> > 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.)
>
> 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.

Yeah, works again.  I see three mails came in by now, for three recent 
commits.

Thanks,
Stephan