BTW: I can cornfirm that adding `GRUB_DISABLE_OS_PROBER=false`  to
`/etc/default/grub` does *not* solve this problem.

Reply via email to