{"shas":[["b032e7b26e90ea11f4b73a147a1ff4b4480db51e","9168692a2e22d1192e34d9cfeb58ef1fdd478b16@squarewave.at","fix crtl key binder, fix scroll to selected","Robert Niederreiter"]],"ref":"refs/heads/master","size":1,"head":"b032e7b26e90ea11f4b73a147a1ff4b4480db51e","push_id":41683543}