{"shas":[["63b567b2ac9b546fb022e8a0164b7687f5e68868","54669547a225ff20cba8b75a4adca540eef25858@mjambon.com","Better performance on some systems by using Unix.read instead of\nPervasives.input.\nAlso using String.unsafe_get but with apparently little effect.","Martin Jambon"]],"ref":"refs/heads/master","size":1,"head":"63b567b2ac9b546fb022e8a0164b7687f5e68868","push_id":40430866}