Team,
thanks to everyone who agreed to hold off commits until the fate of Luca's patch had been decided. I think everyone is in agreement that this first patch needs more work, so I will re-sync with CVS. Therefore, it is safe to make commits to HEAD once more.
Thanks,
Chris
