GitHub PushEvent at 2014-12-25 23:08:22
Repository: sharpiso
Actor: rafewenger
Payload: {"shas":[["1be90f96991210d70647b578866113b4975daae6","b6a968239ccf87fbb96d6ef0367e7717927b66f0@cse.ohio-state.edu","Modified -map_extended algorithm to allow a little more merging.","Rephael Wenger",true],["5b062efe844da0925f3741ef506d6a79b1b871d4","b6a968239ccf87fbb96d6ef0367e7717927b66f0@cse.ohio-state.edu","Recompute isovert points which are flagged as far.","Rephael Wenger",true]],"size":2,"ref":"refs/heads/master","head":"5b062efe844da0925f3741ef506d6a79b1b871d4"}