{"push_id":660660742,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"0803c2dd715e6493c3e4f865bcf9ca2a16318c55","before":"2a2d418971a019202cdb78fabc7658a543f0886d","commits":[{"sha":"0803c2dd715e6493c3e4f865bcf9ca2a16318c55","author":{"email":"4f6d07e2b142da7a8716d1cd541ae44f0d273335@inria.fr","name":"Enrico Tassi"},"message":"STM: process_error_hook set in Vernac where fname is known (fix #4229)\n\nIn compiler mode, only vernac.ml knows the current file name.\nStm.process_error_hook moved from Vernacentries to Vernac to\nbe bale to properly enrich the exception with the current file\nname (if any).","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/0803c2dd715e6493c3e4f865bcf9ca2a16318c55"}]}