{"push_id":829253357,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"44845982f412810b0c18067987f2780ef6245fbb","before":"df78560fdf859644274dbdabccdd1fdb9e75634e","commits":[{"sha":"44845982f412810b0c18067987f2780ef6245fbb","author":{"email":"adfd9bd7991467a0d5064c4d7197f46e286f225b@gmail.com","name":"Bernhard Schommer"},"message":"Use section type also for other targets.\n\nBug 17392.","distinct":true,"url":"https://api.github.com/repos/didickman/CompCert/commits/44845982f412810b0c18067987f2780ef6245fbb"}]}