> That all actually sounds ok without needing any change in the RC then -- how about pushing an OPAMSTRICT=1 to the (allowed-to-fail) 1.2.1 matrix in the current opam-repository? > Yes, we should try that. I found and fixed another non-critical bug today: `opam config report` doesn't report the solver properly.