{"shas":[["90795853c89442075ced032b31de8913670e7b97","540ca70722f5fc6a9c38357179d1ce8ee6fdf622@googlemail.com","fix of PrettyPrinter","Willi Nagel"],["8cdaf6803a94901a476a2db9fff231d8d83a3c63","540ca70722f5fc6a9c38357179d1ce8ee6fdf622@googlemail.com","Merge branch 'master' of github.com:simonwacker/MiniJava","Willi Nagel"]],"ref":"refs/heads/master","size":2,"head":"8cdaf6803a94901a476a2db9fff231d8d83a3c63","push_id":33978346}