On 16/02/2020 20.55, Paul Eggert wrote: > I installed the attached, which is a bit more conservative than your > suggestion, as it doesn't assume that 'pause' exists or that it indeed > sleeps forever (though I know of no counterexamples, there's little > difficulty in relaxing those assumptions). Thanks for the bug report.
Excellent, thank you! -- Best regards, Vladimir
