pin import: revert pins if no solution and on user abort
Merge pull request #1573 from OCamlPro/pin-import-err

pin import: revert pins if no solution and on user abort