mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 06:49:35 +00:00
As suggested by Vladimir Serbienko, add additional verbose output to inform why we selected this specific platform.
As suggested by Vladimir Serbienko, add additional verbose output to inform why we selected this specific platform.