{"shas":[["277379041e4863108627ba6ca882777789e4ed53","4ff0213f56e2082fcd8c882d04c546881c579ce4@fu-berlin.de","fixed threading bug in refreshing the GUI","Konrad Reiche"],["f5bbff460d7ba71efdf8af718c6029b14a5cba48","4ff0213f56e2082fcd8c882d04c546881c579ce4@fu-berlin.de","added monitor selection","Konrad Reiche"]],"repo":"platzhirsch/Profiling-Concurrency","actor":"platzhirsch","ref":"refs/heads/master","size":2,"head":"f5bbff460d7ba71efdf8af718c6029b14a5cba48","actor_gravatar":"50e14fae890b034489b067a0315304f6","push_id":30286632}