On 11/12/17 00:25, Paul Eggert wrote:
I installed the attached patch to tests/timestamp

As this appears to have fixed the bug, I'm closing this old bug report.




Reply via email to