diff --git a/712ba3a0659a70c2e93a55d9e194b2fae6db28d1 b/712ba3a0659a70c2e93a55d9e194b2fae6db28d1
new file mode 100644
index 000000000..2e257f849
--- /dev/null
+++ b/712ba3a0659a70c2e93a55d9e194b2fae6db28d1
@@ -0,0 +1,7 @@
+Verified+1: build bot (Jenkins) <no-reply@coreboot.org>
+Code-Review+2: Angel Pons <th3fanbus@gmail.com>
+Submitted-by: Nico Huber <nico.h@gmx.de>
+Submitted-at: Fri, 21 Jun 2019 15:08:58 +0000
+Reviewed-on: https://review.coreboot.org/c/flashrom/+/33346
+Project: flashrom
+Branch: refs/heads/master