Good check. We should get those fixed - no need for these to be ignored.

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Ic3dde296ab4b84add8a8ab6a3bb5ecb65da2c158

Gerrit-Change-Number: 29926

Gerrit-PatchSet: 2

Gerrit-Owner: HAOUAS Elyes <ehaouas@noos.fr>

Gerrit-Reviewer: Angel Pons <th3fanbus@gmail.com>

Gerrit-Reviewer: HAOUAS Elyes <ehaouas@noos.fr>

Gerrit-Reviewer: Martin Roth <martinroth@google.com>

Gerrit-Reviewer: Patrick Georgi <pgeorgi@google.com>

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

Gerrit-Comment-Date: Thu, 29 Nov 2018 18:17:23 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment