Hi. On Fri, Jul 31, 2020 at 10:05:56AM +0200, Christoph K. wrote: > Please let me know if you're interested in further investigation and > let me know what to do or what information you need.
They've released an updated version of grub already, 2.02+dfsg1-20+deb10u2. Upgrade again, and you trouble should go away. Reco
