On 11/11/17 15:19, Paul Eggert wrote:

Can you reproduce the problem with the current version?

No further comment in five years, so closing this old bug report.




Reply via email to