{"push_id":586465652,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8c14b6347fe60d98b9098a0241d8429455818b01","before":"a4e11c8abee302ac6ad87f67ab81ff9738fa5a28","commits":[{"sha":"8c14b6347fe60d98b9098a0241d8429455818b01","author":{"email":"bcf5e6cab6556015e11d1a350044235371b97159@racket-lang.org","name":"Robby Findler"},"message":"adjust figure typesetting a bit\n\n... really need to make helvetica font be smaller\nthan the roman font, but redex doesn't currently support that","distinct":true,"url":"https://api.github.com/repos/maxsnew/Redex-Enum-Paper/commits/8c14b6347fe60d98b9098a0241d8429455818b01"}]}