On Tue, Feb 18, 2020 at 12:05:42PM +0100, Juan José Santamaría Flecha wrote: > Maybe this needs a specific thread, as it is not quite cruft but something > that will require maintenance.
Makes sense. I have discarded that part for now. -- Michael
signature.asc
Description: PGP signature
