{"push_id":1371963006,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"9c0bec7cb273ec00be45bfe728f87150c3d2f925","before":"2290dbb9c95b63e693ced647731623e64297f5c8","commits":[{"sha":"9c0bec7cb273ec00be45bfe728f87150c3d2f925","author":{"name":"Hugo Herbelin","email":"785e2cbe854d07e62ab9406d6852942772342316@inria.fr"},"message":"Fixing #5161 (case of a notation with unability to detect a recursive binder).\n\nType annotations in unrelated binders were badly interfering with\ndetection of recursive binders in notations.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/9c0bec7cb273ec00be45bfe728f87150c3d2f925"}]}
{"actor":{"display_login":"coqbot"}}