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.
