Re: 3.10: time to upload to unstable (!?)

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

Hi,

Stefano Zacchiroli wrote:
> Hi guys,
>   I think is time to go ahead and start uploading 3.10 stuff to
> unstable. Not yet has been rebuilt in experimental, but I believe the
> major showstopper have been, and we have fallbacks for the potentially
> problematic issue of the new camlp4.
> 
> I would like to reach consensus here before asking on -release for the
> permission to start the transition.

I've managed to build coq with ocaml 3.10 and camlp5 so I don't have any
more objection.

Cheers,

Samuel.