Kill pending errors that are edited by the user
Kill pending errors that are edited by the user

(Manual merge of a commit on master).

fxfactorial/merlin,the-lambda-church/merlin,fxfactorial/merlin,dra27/merlin,neojski/merlin,rgrinberg/merlin,haselwarter/merlin,ocaml/merlin,fxfactorial/merlin,chriskonstad/merlin,chambart/merlin,haselwarter/merlin,rgrinberg/merlin,chambart/merlin,the-lambda-church/merlin,dra27/merlin,haselwarter/merlin,ocaml/merlin,dra27/merlin,rgrinberg/merlin,rgrinberg/merlin,dra27/merlin,neojski/merlin,the-lambda-church/merlin,fxfactorial/merlin,chambart/merlin,haselwarter/merlin,chriskonstad/merlin,neojski/merlin,chambart/merlin,ocaml/merlin,ocaml/merlin,neojski/merlin