Re: [PATCH] Fix "unset local-environment" when clearenv not available

Tom Tromey
2025-12-11T13:56:34Z

Tom> I forgot to mention, please use:
Tom> ...
Tom> -re -wrap "" {
Tom> ...

I made this change.

Tom