ping - do we still need this?

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I3715fa854649f20fbef4e0bdfce59ebfa1f5f2b5

Gerrit-Change-Number: 39026

Gerrit-PatchSet: 1

Gerrit-Owner: jitao shi <jitao.shi@mediatek.com>

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

Gerrit-CC: Hung-Te Lin <hungte@chromium.org>

Gerrit-Comment-Date: Wed, 12 Aug 2020 02:53:38 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment