{"shas":[["eb3be0f287d45c735b1c0eefa51a5ca49b9df6dd","1dcd5c846f3eb4984f0655fb5407be7c9e0c9079@gbv.de","minor fixes","Jakob Voss"]],"ref":"refs/heads/master","size":1,"head":"eb3be0f287d45c735b1c0eefa51a5ca49b9df6dd","push_id":39224226}