{"shas":[["24256c9302463d1068d4a2459f5d972e6b8037cf","f6a8c838e29d3fa8813240c8bed106e760081e0e@cs.umn.edu","#171 - fine-tuning new clock","John Collins"]],"ref":"refs/heads/pause-mode","size":1,"head":"24256c9302463d1068d4a2459f5d972e6b8037cf","push_id":34574539}