not sure if this is needed :)

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Ic0aab06f1956bc0bf9f96d6176643c113a1e4cc5

Gerrit-Change-Number: 33915

Gerrit-PatchSet: 1

Gerrit-Owner: Mike Banon <mikebdp2@gmail.com>

Gerrit-Reviewer: Mike Banon <mikebdp2@gmail.com>

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

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

Gerrit-Comment-Date: Sun, 30 Jun 2019 17:49:59 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment