{"push_id":1257202319,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1ce82706566806bc24d8f79ce7f24fd30e52949f","before":"41b7c358e98fab74825f7622474f76838f339d05","commits":[{"sha":"1ce82706566806bc24d8f79ce7f24fd30e52949f","author":{"name":"Matt Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.utexas.edu"},"message":"Extended xdoc::order-subtopics to allow children to be in order of when they were documented, rather than alphabetical.\n\nSee :DOC xdoc::order-subtopics.\n\nNote: Although regression caused the certification error reported in\nGithub Issue #634, I was able to get the same error using an ACL2/SBCL\nexecutable built without the changes being committed here.","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/acl2/commits/1ce82706566806bc24d8f79ce7f24fd30e52949f"}]}
{"actor":{"display_login":"acoglio"}}