(on Dec. 20, I said) > If, after a few days, the grub menu still looks good, I'll > promote this thread from CLOSED to SOLVED.
After a weekly patching, a few cycles of nightly power-down and morning power-up, and a few days of regular operational use, I'm confident this really is fixed. I'm upgrading this to SOLVED.
I thank participants for their help, and for the interesting discussion on font sizes.
_______________________________________________ users mailing list -- users@lists.fedoraproject.org To unsubscribe send an email to users-le...@lists.fedoraproject.org Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/users@lists.fedoraproject.org