[PPL-devel] Re: About to do a first merge from alt_nnc to the trunk

Roberto Bagnara wrote:

I am about to do a first merge from alt_nnc to the trunk. This operation will be smoother if I can have exclusice access to the repository for one hour or so.

Done: you can access the repository at will.