ocamleditor-1.13.2
Merge pull request #3105 from ftovagliari/master

ocamleditor-1.13.2