3.8.2
CHANGES:
-
Switch back to threaded console for all systems; fix unresponsive console on
Windows (#7906, @nojb) -
Respect
-p
/--only-packages
formelange.emit
artifacts (#7849, @anmonteiro) -
Fix scanning of Coq installed files (@ejgallego, reported by
@palmskog, #7895 , fixes #7893) -
Fix RPC buffer corruption issues due to multi threading. This issue was only
reproducible with large RPC payloads (#7418) -
Fix printing errors from excerpts whenever character offsets span multiple
lines (#7950, fixes #7905, @rgrinberg)