On Wed, Jun 17, 2015 at 03:05:52PM +0200, dcaro wrote: > > I just rolled out the CI flag to all the projects this morning, restricting > jenkins to set only that flag, did that happen again after it? No, all seems clear now. Thanks.