On Fri, Jan 11, 2008 at 09:07:43AM +0100, Stefano Zacchiroli wrote: > On Thu, Jan 10, 2008 at 07:58:56PM +0100, Ralf Treinen wrote: > > > No need for the former, Russ has already replied on -devel stating that > > > he had implemented the fix after my first request. > > Did you also ask for O'Caml -> OCaml ? > > Ah, you're right, nope: I've only asked for "ocaml" -> "OCaml". > Go for it. Done, and also added to the policy. -Ralf.