> Since 1.1 clients are redirected to the new server and all 1.0 clients should still be on opam.ocamlpro.com (unless manually changed), it is now safe to accept 1.1 PRs. Done, all PR which were queued have been pulled in. -- Thomas