Patrick Georgi abandoned this change.
View Change
Abandoned
not needed anymore
To view, visit change 42820. To unsubscribe, or for help writing mail filters, visit settings.
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I30e4988b70785b3500a5b5284d760ea209c64ec4
Gerrit-Change-Number: 42820
Gerrit-PatchSet: 10
Gerrit-Owner: Patrick Georgi <pgeorgi@google.com>
Gerrit-Reviewer: Martin Roth <martinroth@google.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-CC: Paul Menzel <paulepanter@mailbox.org>
Gerrit-MessageType: abandon