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 <>
Gerrit-Reviewer: Martin Roth <>
Gerrit-Reviewer: build bot (Jenkins) <>
Gerrit-CC: Paul Menzel <>
Gerrit-MessageType: abandon