(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@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
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@xxxxxxxxxxxxxxxxxxxxxxx
