{"shas":[["0aa531b842ef96a7a01db0a87a05eed06ed91324","5792118008b9d2f6ee601ee2af5ac86bb5f385e0@gmail.com","Re-comment the @disable line because somehow the NRVO patch still didn't fix it.","David Simcha"]],"ref":"refs/heads/master","size":1,"head":"0aa531b842ef96a7a01db0a87a05eed06ed91324","push_id":36810827}