{"push_id":2649339048,"size":1,"distinct_size":1,"ref":"refs/heads/issue-7707-include-ltac2-and-equations-in-windows-installer","head":"054ffcdd94a15e7cacf80f047428cfa58b0c2494","before":"aac5afd409b0fa3f297823de2b403db6882e38fe","commits":[{"sha":"054ffcdd94a15e7cacf80f047428cfa58b0c2494","author":{"name":"Michael Soegtrop","email":"809fee79f9ed10b1a952960f92adaeb0d9145cab@intel.com"},"message":"Fix for issue 7707: include Ltac2 and Equations in Windows build\nOn the way I also fixed some minor issues with calling MakeCoq_MinGW from cygwin.","distinct":true,"url":"https://api.github.com/repos/MSoegtropIMC/coq/commits/054ffcdd94a15e7cacf80f047428cfa58b0c2494"}]}
{"actor":{"display_login":"MSoegtropIMC"}}