The Coq mailing list

[Guillaume Melquiond <guillaume.melquiond AT inria.fr>]

On 25/01/2016 15:42, Emilio Jesús Gallego Arias wrote:
> Hi,
> 
> Another thing that shows from time to time in my Coq profiling is the
> directory caching code.

It would be interesting to know if the caching code still has a
noticeable impact if you locally apply commit afb9c9a. This patch is in
trunk only, not in 8.5, because I felt it was way too late in the
release process to modify an interface.

Best regards,

Guillaume