Diff opam-installer-2.1.2-r1 with a opam-installer-2.1.3

Thank you!