{"push_id":930072344,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"034104518424917282e94ef0d5ad7d49ef7955bd","before":"4fb7650ea1293906898d28f9bdbe0c64ae162ae1","commits":[{"sha":"034104518424917282e94ef0d5ad7d49ef7955bd","author":{"email":"5a3445560e6164123f00401f680012e7b5ed639a@informatik.uni-freiburg.de","name":"Marius Greitschus"},"message":"Fixed a bug in the merge methods of the Intervals and the Boolean\nvalues.","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/034104518424917282e94ef0d5ad7d49ef7955bd"}]}