diff --git a/f9632d82634bbbdc7e90357d3ea7c4a631ab4376 b/f9632d82634bbbdc7e90357d3ea7c4a631ab4376 new file mode 100644 index 000000000..4c610371f --- /dev/null +++ b/f9632d82634bbbdc7e90357d3ea7c4a631ab4376 @@ -0,0 +1,8 @@ +Verified+1: build bot (Jenkins) +Code-Review+2: Thomas Heijligen +Code-Review+1: Angel Pons +Submitted-by: Nico Huber +Submitted-at: Mon, 03 Jun 2019 10:46:01 +0000 +Reviewed-on: https://review.coreboot.org/c/flashrom/+/31011 +Project: flashrom +Branch: refs/heads/master