On Fri, Aug 09, 2024 at 06:35:19AM -0300, Santiago Ruano Rincón wrote: > Indeed, that sound like a sensible approach. I can file the removal bug, > if that is OK to you.
Please do so, thanks. Cheers, Moritz
On Fri, Aug 09, 2024 at 06:35:19AM -0300, Santiago Ruano Rincón wrote: > Indeed, that sound like a sensible approach. I can file the removal bug, > if that is OK to you.
Please do so, thanks. Cheers, Moritz