{"shas":[["73b2946bcf8108b0c8174c8c61cb4c7fe5cc44be","b0719deaefc9015b8adfe3dd48b0c872ed951926@purepistos.net","Undo now opens any just-closed file.","Pistos"]],"ref":"refs/heads/master","size":1,"head":"73b2946bcf8108b0c8174c8c61cb4c7fe5cc44be","push_id":37371712}