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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: If4e742edb17ca73c01ff7b552e00e18acc6779dd

Gerrit-Change-Number: 40962

Gerrit-PatchSet: 3

Gerrit-Owner: Keith Hui <buurin@gmail.com>

Gerrit-Reviewer: Felix Held <felix-coreboot@felixheld.de>

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

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

Gerrit-Comment-Date: Sat, 16 May 2020 15:52:57 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment