Paul Eggert Wed, 30 Dec 2015 22:39:03 -0800
Vincent Lefevre wrote:
I've done various tests, and it seems fine. Thanks.
You're welcome; closing the bug report.