On Mon, Apr 17, 2023 at 06:18:18PM +0200, Tomas Mudrunka wrote: > This seems quite useful. Can you please merge it?
I need to re-send it before it can be merge. I'll try to update it soon. Daniel
On Mon, Apr 17, 2023 at 06:18:18PM +0200, Tomas Mudrunka wrote: > This seems quite useful. Can you please merge it?
I need to re-send it before it can be merge. I'll try to update it soon. Daniel