tree cf675887d1c281df5a665b957f5577b9d3df9895
parent 1d81c3c583584f991a7f011f5e8f4c29261b39ca
author Vladimir Serbinenko <phcoder@gmail.com> 1486397529 +0100
committer Edward Jee <edjee@google.com> 1520461415 +0000

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>