On Wed, Dec 11, 2024 at 2:25 PM Archie Cobbs <[email protected]> wrote:
> There is a (small) language change under consideration on amber-dev, and > opinions have been expressed in multiple directions, so I'm turning to this > list for hopefully some authoritative adjudication. > Since I didn't hear an overwhelming roar of approval, I'll shelve this for now. The issues and PR will still be there if/when we want to take this up again in the future. Thanks, -Archie -- Archie L. Cobbs
