Coq 8.6.1 is out

Submitted by Maxime Dénès on 25 Jul 2017

Version 8.6.1 of Coq is available. It fixes several bugs of version 8.6. More information can be found in the CHANGES file. Feedback and bug reports are extremely welcome.