Diff opam-solver-2.0.9 with a opam-solver-2.0.10

Thank you!