mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 15:49:23 +00:00
The header is included twice. Fix that. Signed-off-by: Yuri Zaporozhets <yuriz@qrv-systems.net> Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>