{"push_id":3848401608,"size":2,"distinct_size":0,"ref":"refs/heads/next","head":"b9fac74684fcbccd0780f5267ce5c537c316ce32","before":"2bb62aa80ff3e5e58b097ee9c903247946e8d5f2","commits":[{"sha":"97ecdc9c081e4430aedda22289c8faf756d82e05","author":{"name":"Enno Ruijters","email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@ennoruijters.nl"},"message":"Fix comparison of decnumbers.\n\nI think we only do this in timed models, so it shouldn't have caused\nany major problems. In any case, this has been here since the\nintroduction of timed models.","distinct":false,"url":"https://api.github.com/repos/utwente-fmt/dftcalc/commits/97ecdc9c081e4430aedda22289c8faf756d82e05"},{"sha":"b9fac74684fcbccd0780f5267ce5c537c316ce32","author":{"name":"Enno Ruijters","email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@ennoruijters.nl"},"message":"Bump version to 1.3.2","distinct":false,"url":"https://api.github.com/repos/utwente-fmt/dftcalc/commits/b9fac74684fcbccd0780f5267ce5c537c316ce32"}]}
{"actor":{"display_login":"ennoruijters"}}