OK, maybe next release, the maintainer will remove the run-time warning,
as we also see there is already a NEWS item.
>>>>> "r" == root <
ro...@jidanni.org> writes:
r> --- News for grub2 (grub2-common grub-pc grub-pc-bin grub-common) ---
r> grub2 (2.06-1) UNRELEASED; urgency=medium
r> * Boot menu entries for other operating systems are no longer generated by
r> default. To re-enable this, set GRUB_DISABLE_OS_PROBER=false in
r> /etc/default/grub.
r> -- Colin Watson <
cjwa...@debian.org> Wed, 18 Aug 2021 13:03:23 +0100