{"shas":[["2bbeefdaf20fadf7c5192d5a51aa562945ad028c","3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@danielgrunwald.de","Allow using DocumentHighlighter with ReadOnlyDocument.","Daniel Grunwald"]],"ref":"refs/heads/newNR","size":1,"head":"2bbeefdaf20fadf7c5192d5a51aa562945ad028c","push_id":43205400}