{"push_id":1580954427,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"a8dcd1b7ffe017f65c3b614d4d861cd16dbed802","before":"c6407f2b324c5b8efbda75e68c709fe1f8dbe2c7","commits":[{"sha":"a8dcd1b7ffe017f65c3b614d4d861cd16dbed802","author":{"name":"Guido Tack","email":"fbe3c9b1e899cbc1cade42554d40550d4b5e34ff@monash.edu"},"message":"Make sure IDE is aware that a process has been stopped when an error occurs. Fixes a crash that could happen when clicking stop button with a spurious process running.","distinct":true,"url":"https://api.github.com/repos/MiniZinc/MiniZincIDE/commits/a8dcd1b7ffe017f65c3b614d4d861cd16dbed802"}]}
{"actor":{"display_login":"guidotack"}}