[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, 10 Oct 2023 08:14:54 +0200 |
On Mon, Oct 09, 2023 at 05:01:47PM +0200, felix.winkelmann@bevuta.com wrote:
> The export/rename localizes the functionality and doesn't
> require changes to existing code. The precedent of the syntax: and
> interface: never was a particularly good one (we should have used separate
> export forms for those right from the start), so adding funny markers or
> possibly ambiguous special cases is not my favorite approach.
After some more thought on this, I think you convinced me.
Let's go with the original export/rename patch, unless anyone objects.
Cheers,
Peter
signature.asc
Description: PGP signature