{"head":"7e1d6679e25aed4809072b591243667033d72ed4","size":1,"push_id":45061138,"shas":[["7e1d6679e25aed4809072b591243667033d72ed4","6821c62f388d6984dae11f810f4287bb32643f58@gmail.com","* bug fix\n\nProblem: program crashed when a run terminated with a non-zero exit status\nReason: a write call with %d specified was fed a string instead of a number\nFix: removed the erroneous str -> num conversion","Krzysztof Rosset"]],"ref":"refs/heads/master"}