The outcome of the discussion seems pretty clear now. I am cloning this bug and reassigning to dh-ocaml as a reminder to update our policy.
-- Stéphane -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
