Le 2020-01-06 à 16:10, Paul Eggert a écrit :
On 1/6/20 5:08 AM, Philippe Cloutier wrote:Why was this ticket closed?Because Jim fixed the bug that you reported in the web page.
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.
-- Philippe Cloutier http://www.philippecloutier.com
