{"shas":[["e2f57d06de886e88da8d02a4023946f98db1921c","bfa0953d87bddd80d3a7943df37c46d2ce3d29f9@mpi-muenster.mpg.de","changing minimum coverage to 2, because that still seems to work","David Eccles (gringer)"]],"ref":"refs/heads/master","size":1,"head":"e2f57d06de886e88da8d02a4023946f98db1921c","push_id":36886759}