"Marc G. Fournier" <scrappy@hub.org> writes:
>> I think the only unknown is whether their CVS's should be moved out of
>> the main tree.
> Yes, they should be ...
Certainly. I was a bit worried about losing CVS history, but Marc
indicated he could make the move with history and all, so there's
no downside.
regards, tom lane