On 2021-01-27 15:49, Laurent Bonnaud wrote:
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...
Ok, wfm. Thanks for your feedback!
--
Mehdi
