Is this still needed?

To view, visit change 29639. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I19d3016e67f8930345e0da9564abcc5e5f8ab365

Gerrit-Change-Number: 29639

Gerrit-PatchSet: 1

Gerrit-Owner: Nico Huber <nico.h@gmx.de>

Gerrit-Reviewer: Paul Menzel <paulepanter@users.sourceforge.net>

Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>

Gerrit-Comment-Date: Thu, 12 Nov 2020 07:38:23 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment