{"shas":[["d90d47ff091ed03a06a02f4f78d0a70b23c239cc","6141683ea153572b7f0ac66f09de815b6f3a1af9@tesio.it","open-closed fixed","Giacomo Tesio"]],"ref":"refs/heads/devel","size":1,"head":"d90d47ff091ed03a06a02f4f78d0a70b23c239cc","push_id":33745892}