{"head":"9cb400a3172ddb893552e871f258be64ab603103","size":2,"push_id":44122258,"shas":[["3b206f250795ed0ab67d21f2ea79f1d782e0b81d","eb0877843acc39f8ef6f7269937dee931c372d23@dadim.de","style adjustments","Stefan Dirnstorfer"],["9cb400a3172ddb893552e871f258be64ab603103","eb0877843acc39f8ef6f7269937dee931c372d23@dadim.de","style and bufixes merged from bpt","Stefan Dirnstorfer"]],"ref":"refs/heads/master"}