On Sat, 14 Jan 2023 20:38:38 +0100 Andreas Henriksson <andr...@fatal.se> wrote:
Here's a slightly different patch to implement basically the same thing
Yes, I like this patch better too. Helge
On Sat, 14 Jan 2023 20:38:38 +0100 Andreas Henriksson <andr...@fatal.se> wrote:
Here's a slightly different patch to implement basically the same thing
Yes, I like this patch better too. Helge