{"shas":[["2e3f70d96d7d23ad147b7a98ccd001740fa2b90d","856f8df46e6d847572309ff3641a32f778b03e1a@online.de","Some more small fixes in the narrative docu.","Christoph Zwerschke"]],"ref":"refs/heads/master","size":1,"head":"2e3f70d96d7d23ad147b7a98ccd001740fa2b90d","push_id":33069271}