{"shas":[["5fa35d226a5b3ba5f6f7c27dade20a9543c6982f","7cb5eb1d314f77c6dd43572a1718dec01612aa6a@gmail.com","Added a couple of <CR> and <Space> to toggle search highlight","Giovanni Lanzani"]],"ref":"refs/heads/master","size":1,"head":"5fa35d226a5b3ba5f6f7c27dade20a9543c6982f","push_id":38567908}