On 1/23/21 9:07 PM, Mehdi Dogguy wrote:
Thanks for the bugreport and sorry for not replying earlier!
No problem!
I wasn't able to reproduce this bug.
Thanks for trying!
FWIW, I've just uploaded dochelp 0.1.8 with a couple of bugfixes (none is related to memory management though). Can you maybe test it and report back if you still have the issue?
I cannot reproduce the bug any longer. Difficult to say if it comes from dochelp's update or other changes on the system. Anyway, I am going to close this bug... Thanks again, -- Laurent.
