Nikos Mavrogiannopoulos <[email protected]> writes: > On Thu, 2017-09-14 at 23:28 +0200, Niels Möller wrote: >> I committed a variant of this ifdef thing this morning. But the >> gnutls >> mirror and the ci machinery seems to not have picked it up yet. > > There was an update of gitlab.com, and something may have been broken. > I've checked the settings of the project on mirroring and says that > 'update is scheduled'. I'll give it a day before opening a bug.
It seems the commits pushed to my master repo September 14 are still not picked up by the mirror. Regards, /Niels -- Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677. Internet email is subject to wholesale government surveillance. _______________________________________________ nettle-bugs mailing list [email protected] http://lists.lysator.liu.se/mailman/listinfo/nettle-bugs
