[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] export/rename
|
From: |
Peter Bex |
|
Subject: |
Re: [PATCH] export/rename |
|
Date: |
Tue, 17 Oct 2023 09:16:36 +0200 |
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