On 2020-05-11 20:04, Sreyan Chakravarty wrote:
>
>     To your issue, no.
>     To my comment about learning/determining how GNOME does system-upgrades, yes.  
>
>
> Is there a Fedora Gnome team that I can reach out to ? 
>

I don't know....  But, I still think this is a very minor issue that probably won't happen again.
And the cause will be hard to determine as so much time has passed.
Which is why I'd be deleting the old kernel and just check after the next kernel date.

--
The key to getting good answers is to ask good questions.
_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-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/users@lists.fedoraproject.org