{"head":"5dadd081d765f6d968797d2c7d8cf399fb6b7451","size":1,"push_id":44346465,"shas":[["5dadd081d765f6d968797d2c7d8cf399fb6b7451","97a02664f35ad0c9cbf2121dceebca2d7373e34a@cs.st-andrews.ac.uk","QED now rechecks the term, instead of just finalise. *bites fingernails*","Edwin Brady"]],"ref":"refs/heads/master"}