On Fri, Dec 11, 2020 at 07:04:28PM +0100, Martin Liška wrote:
> On 12/11/20 2:17 PM, Rainer Orth wrote:
> > Rainer Orth <r...@cebitec.uni-bielefeld.de> writes:
> >
> > > I noticed that gcc/DATESTAMP isn't updated any longer after this
> > > Friday. I doubt this is intentional...
> >
> > This has happened again tonight...
> >
> > Rainer
> >
>
> Thanks for heads up. I'm aware of it and I don't see reason why (running the
> update script in dry mode works).
>
> @Jakub: Can you please take a look?
When running it manually it just completed without problems.
So, no idea what happened.
Jakub
