commit 747a5bb691899d1308e4833be0f1f4570179d4f0
author Vladimir Serbinenko <phcoder@gmail.com> Mon Feb 06 17:12:09 2017 +0100
committer Edward Jee <edjee@google.com> Wed Mar 07 22:23:35 2018 +0000
tree cf675887d1c281df5a665b957f5577b9d3df9895
parent 1d81c3c583584f991a7f011f5e8f4c29261b39ca

grub-lakitu: UPSTREAM: VERIFIERS: Adjustment proposed by dkiper

(cherry picked from commit 4f280d955e922e889bce2bd80347c1c0cd4daed9)
(from phcoder/verifiers branch of git://git.savannah.gnu.org/grub.git)

BUG=b:69569602
TEST=TBD

Change-Id: Icb9dcd292e3a3b013daf0411e5a3ff7eb13d71ee
Reviewed-on: https://chromium-review.googlesource.com/945879
Reviewed-by: Edward Jee <edjee@google.com>
Commit-Queue: Edward Jee <edjee@google.com>
Tested-by: Edward Jee <edjee@google.com>
Trybot-Ready: Edward Jee <edjee@google.com>