OK, maybe next release, the maintainer will remove the run-time warning, as we also see there is already a NEWS item.
>>>>> "r" == root <r...@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 <cjwat...@debian.org> Wed, 18 Aug 2021 13:03:23 +0100
