{"push_id":555802706,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"41d4f194f4e2b26b9d153880113c95374c39e057","before":"8151dc111cd767c2258af3cf5e82518f6fc48fc1","commits":[{"sha":"41d4f194f4e2b26b9d153880113c95374c39e057","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Output processing needs to read the entire stream when the process finishes. Previously, if the last line of the output did not end in a newline, it was not displayed. This fixes #2.","distinct":true,"url":"https://api.github.com/repos/MiniZinc/MiniZincIDE/commits/41d4f194f4e2b26b9d153880113c95374c39e057"}]}