Control: close 1140751 And jmw pointed me at the previous pu bug #1140751 for a riscv64 fix. I've merged those changes on top of the changes I posted yesterday to make grub2/2.12-9+deb13u4
Uploaded just now, here's the extra debdiff between u3 and u4.. -- Steve McIntyre, Cambridge, UK. [email protected] "...In the UNIX world, people tend to interpret `non-technical user' as meaning someone who's only ever written one device driver." -- Daniel Pead
grub2_2.12-9+deb13u4.debdiff.gz
Description: application/gzip
