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

Reply via email to