Hi Paul,
Le 2020-01-07 à 19:53, Paul Eggert a écrit :
On 1/7/20 5:14 AM, Philippe Cloutier wrote:
Thanks Paul but are you sure and if so, do you see evidence to that
effect? The commit Jim mentioned solves (a) related issue(s) but not
the one reported here.
The evidence I see is Jim's patch. If it doesn't suffice, please
propose a specific wording change against the current version
(preferably in 'git format-patch' format), as it's not clear from your
emails what issue you think is still not fixed.
The issue which appears to remain unfixed is the one reported in this
ticket (see message #5).
--
Philippe Cloutier
http://www.philippecloutier.com
