ocamleditor-1.13.1
Merge pull request #2717 from ftovagliari/master

ocamleditor-1.13.1