{"push_id":3129764273,"size":6,"distinct_size":6,"ref":"refs/heads/v8.9","head":"d792e727f6294f74ed65d7e82d2720628edb411f","before":"40464248828e0f09ffd98e9602020975c0bcf82d","commits":[{"sha":"11ab6e386e40a5a0095e9a0e03ec97a2befdaa11","author":{"name":"Guillaume Melquiond","email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr"},"message":"Fix generated documentation for Declare Implicit Tactic.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/11ab6e386e40a5a0095e9a0e03ec97a2befdaa11"},{"sha":"00aa8bdcd81d72097c8eafd711d2744941247915","author":{"name":"Michael Soegtrop","email":"110077536ac8c1d36369f3d8f04e0e81a6cc4856@users.noreply.github.com"},"message":"Fix issue #9175 Windows: VST addon does not work if CompCert is also installed","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/00aa8bdcd81d72097c8eafd711d2744941247915"},{"sha":"9bbb1cb5bd615bdee2a42a6e7bd9b022e9874966","author":{"name":"Michael Soegtrop","email":"110077536ac8c1d36369f3d8f04e0e81a6cc4856@users.noreply.github.com"},"message":"FIx issue #9188 : Enable VST and aactactics in 8.9","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/9bbb1cb5bd615bdee2a42a6e7bd9b022e9874966"},{"sha":"42b446cf2b48b9dcbfe1f0ac0f31e520fbf9923a","author":{"name":"Michael Soegtrop","email":"110077536ac8c1d36369f3d8f04e0e81a6cc4856@users.noreply.github.com"},"message":"Fix issue #9198 : Windows: Enabling addons is broken in v8.9","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/42b446cf2b48b9dcbfe1f0ac0f31e520fbf9923a"},{"sha":"97f8bee3c1b48007577f7486362556e1d77bf843","author":{"name":"Guillaume Melquiond","email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr"},"message":"Merge PR #9187: Fix issue #9175 Windows: VST addon does not work if CompCert is also installed.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/97f8bee3c1b48007577f7486362556e1d77bf843"},{"sha":"d792e727f6294f74ed65d7e82d2720628edb411f","author":{"name":"Guillaume Melquiond","email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr"},"message":"Merge PR #9184: Fix generated documentation for Declare Implicit Tactic.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/d792e727f6294f74ed65d7e82d2720628edb411f"}]}
{"actor":{"display_login":"silene"}}