20 Sep
2017
20 Sep
'17
3:55 p.m.
Nikos Mavrogiannopoulos nmav@redhat.com 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.