Diff opam-core-2.1.2 with a opam-core-2.1.3

Thank you!