{"head":"94e1fce287674114c45f3dc8628cff234f29f204","size":1,"push_id":44020524,"shas":[["94e1fce287674114c45f3dc8628cff234f29f204","9816f84e3b7019038db4d33eff3ab372f9e8e782@intevation.de","Update git to 1.7.6.4 and use pre_configure\n\nIt's not necessary to overwrite configure anymore. pre_configure can be\nused instead.","Bjoern Ricks"]],"ref":"refs/heads/master"}