{"shas":[["097200c1990d08e874c30adbd9770c36a4ee5667","2e3b9d5c7dc0ebfe00d3cf2101af947023b692df@gmail.com","Design space added, with appropriate weaseling about exhaustiveness.","Chinmay Kulkarni"]],"ref":"refs/heads/master","size":1,"head":"097200c1990d08e874c30adbd9770c36a4ee5667","push_id":33176196}