{"shas":[["8e0a7b872277e41d565fa98a1be6ab9ed252f687","57be172439f39d49d3d6e5c0794262c299243d6e@gmail.com","changing slightly the syntax of the negated if test in one of the shell scripts","Davide Della Casa"]],"ref":"refs/heads/master","size":1,"head":"8e0a7b872277e41d565fa98a1be6ab9ed252f687","push_id":37490922}