2 Jul
2023
2 Jul
'23
9:51 a.m.
On Jul 2, 2023, at 11:38 AM, Christian Zigotzky chzigotzky@xenosoft.de wrote:
The end users have to fix their RDBs if they want to use the new patched kernels.
But a normal user can’t edit the RDB manually. What can we do for the end users?
I would suggest writing a small bash script to do that.
Adrian