diff --git a/f5/ad688f8be10c23dacc853ec0120bef5c6c3e1f b/f5/ad688f8be10c23dacc853ec0120bef5c6c3e1f new file mode 100644 index 000000000..2ec1249ec --- /dev/null +++ b/f5/ad688f8be10c23dacc853ec0120bef5c6c3e1f @@ -0,0 +1,9 @@ +Verified+1: build bot (Jenkins) +Code-Review+1: HAOUAS Elyes +Code-Review+2: Angel Pons +Code-Review+2: Edward O'Callaghan +Submitted-by: Edward O'Callaghan +Submitted-at: Thu, 04 Jul 2019 04:30:42 +0000 +Reviewed-on: https://review.coreboot.org/c/flashrom/+/33832 +Project: flashrom +Branch: refs/heads/master