{"shas":[["78abe9e58d75e21d6abf7affa1dcb5ff26fb65f0","0078064118794fb3b840130fe898834bd6382151@crans.org","Now using Simon's nice ruleform for translations","Charles-Pierre Astolfi"]],"ref":"refs/heads/master","size":1,"head":"78abe9e58d75e21d6abf7affa1dcb5ff26fb65f0","push_id":40353065}