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

Thank you!