[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] local_builtin: do not overwrite previously saved options wit
|
From: |
Chet Ramey |
|
Subject: |
Re: [PATCH] local_builtin: do not overwrite previously saved options with local - |
|
Date: |
Wed, 8 Feb 2023 15:40:00 -0500 |
|
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.6.1 |
On 2/6/23 9:08 AM, Emanuele Torre wrote:
Before this patch, running local - a second time in the same scope
would overwrite the previously saved options:
Thanks for the report. This is a good fix.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU chet@case.edu http://tiswww.cwru.edu/~chet/