{"shas":[["6691be62731b535a26abf7b33e73d85e619565e8","ece4516f858e7f596e4918f40babf6f2cf2dd281@gmail.com","refactored solver configuration creation to avoid duplicate solver\nconfigs","Daniel D"]],"ref":"refs/heads/master","size":1,"head":"6691be62731b535a26abf7b33e73d85e619565e8","push_id":38095112}