{"shas":[["99545500dd2e34a253086b38557a4a5f5cc1ec5b","d15875a5204278767e6a6819a950e0650d586dc4@mytum.de","- some fixes\n- benchmark changes\n- make local classes an option","aherz"],["099bfef998bb8b2103763cf53ba513b4cab38465","d15875a5204278767e6a6819a950e0650d586dc4@mytum.de","Merge remote-tracking branch 'origin/master'","aherz"]],"ref":"refs/heads/master","size":2,"head":"099bfef998bb8b2103763cf53ba513b4cab38465","push_id":40951903}