{"push_id":1335581297,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4c4aebcb3b28c35b0534329dc43e7e7ff475c97b","before":"d1311e63edac5606b76478c7b7bd114021f4ba54","commits":[{"sha":"4c4aebcb3b28c35b0534329dc43e7e7ff475c97b","author":{"name":"Bernhard Schommer","email":"c1f900ab5f98bd18adc7d94214a841db5d0a0224@gmail.com"},"message":"Added configure switch for merlin.\n\nThe new configure switch generates a .merlin file and adds the\n-bin-annot flag to the compile options.\nBug 20081","distinct":true,"url":"https://api.github.com/repos/AbsInt/CompCert/commits/4c4aebcb3b28c35b0534329dc43e7e7ff475c97b"}]}
{"actor":{"display_login":"bschommer"}}