{"shas":[["afb7a5582e20b2ee34d2781de2e092578f0c263d","e2d1b0d8fe179e14b1c1a860b3d9fc2cae650cd8@virginia.edu","fixes for editor interface","Jed Verity"]],"ref":"refs/heads/master","size":1,"head":"afb7a5582e20b2ee34d2781de2e092578f0c263d","push_id":36278958}