I tried to test this on a VM but it does not worked, so I asked a friend who have upgraded his F32 workstation to F33 with dnf, and he reported to me that it worked fine for him, grub menu appears after this procedure.

Em qui., 17 de set. de 2020 às 15:30, Chris Murphy <lists@colorremedies.com> escreveu:

On Thu, Sep 17, 2020 at 9:26 AM Chris Murphy <lists@colorremedies.com> wrote:
>
> So yeah, how is "Boot Options" supposed to work?

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/199

--
Chris Murphy
_______________________________________________
test mailing list -- test@lists.fedoraproject.org
To unsubscribe send an email to test-leave@lists.fedoraproject.org
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/test@lists.fedoraproject.org