Hi Paul, Paul Eggert <egg...@cs.ucla.edu> writes:
> Mark H Weaver wrote: >> I propose that we revisit this bug and fix it. > > Sounds good to me, if someone has the time to write a proper fix. Thank you for the quick response! I'd be glad to work on it. I expect that I can provide a proper fix on my own after some investigation, but if you have any suggestions or requirements, I'd of course welcome your input. Regards, Mark