From Heinrich Schuchardt@21:1/5 to All on Fri Apr 26 08:40:01 2024
Hello Vagrant, hello Karsten,
I would like to keep the difference between the Debian and the Ubuntu flash-kernel database small. A few merge requests for RISC-V boards have
piled up. Could you, please, have a look.