On Wed, 2017-09-20 at 17:55 +0200, Niels Möller wrote: > 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.
Thanks for the reminder. There is already an open ticket for that which I commented on: https://gitlab.com/gitlab-com/support-forum/issues/2420 regards, Nikos _______________________________________________ nettle-bugs mailing list [email protected] http://lists.lysator.liu.se/mailman/listinfo/nettle-bugs
