Hello, Andreas Leha <andreas.l...@med.uni-goettingen.de> writes:
> I just had an error (something including "search" and "wrong side" ...) > during org-lint. As it turned out this error went away after I ran > `org-element-cache-reset'. Hence my question: Would it make sense to > include running `org-element-cache-reset' into `org-lint'? I don't think this should be the default, no. This will delete useful information. The cache bug leading to the error should be fixed, tho. Regards, -- Nicolas Goaziou
