{"push_id":722344625,"size":1,"distinct_size":1,"ref":"refs/heads/sepcomp2","head":"1cea9f02c664403849eb3ad25bc15ce197464f96","before":"7e08423eb041c03f395c6f946e17313cd03b6852","commits":[{"sha":"1cea9f02c664403849eb3ad25bc15ce197464f96","author":{"email":"31d6c92599fee55dbce253e9598cb46fdaf342ad@sf.snu.ac.kr","name":"Yoonseung Kim"},"message":"Delete a blank line in CoqlibExtra.","distinct":true,"url":"https://api.github.com/repos/kim-yoonseung/CompCert/commits/1cea9f02c664403849eb3ad25bc15ce197464f96"}]}