{"push_id":733332209,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b3f015d51b19549b6235be8fa8290d9012715269","before":"a0d8518d257e7efff3239671acb6a3ff8f3ab4df","commits":[{"sha":"b3f015d51b19549b6235be8fa8290d9012715269","author":{"email":"3623de16a2d847203d0b13f4c029365b5cd13403@microsoft.com","name":"Abhishek Anand (on VAIO laptop)"},"message":"fixed the fullly-scoped-name issue.\nThere are still mysterious magics when constructors are refereenced in\nfiles other than where they were defined","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/b3f015d51b19549b6235be8fa8290d9012715269"}]}