{"shas":[["c87fc32dacb5e53ea37750fbd247cbe1e7a7483b","2104ed7b77de63c11d65f08ed993b286192143d2@lewang","make `try-code-get-char' not case-fold by default to be more generally useful","Le Wang"]],"ref":"refs/heads/master","size":1,"head":"c87fc32dacb5e53ea37750fbd247cbe1e7a7483b","push_id":42579851}