{"shas":[["6473771c283c61fabeb5dc2a74245342b2f6d2df","0f756759574266cf5ac76cdadcc3be93c6164240@gmail.com","tweaks to window function","Robbert"]],"ref":"refs/heads/master","size":1,"head":"6473771c283c61fabeb5dc2a74245342b2f6d2df","push_id":36484214}