On Tue, Oct 10, 2023 at 08:14:54AM +0200, Peter Bex wrote: > After some more thought on this, I think you convinced me. > Let's go with the original export/rename patch, unless anyone objects.
A week has passed with no objections. I've pushed the original patch. Cheers, Peter
signature.asc
Description: PGP signature