Re: [coreboot] Moving gerrit to an separate mailing list