Hi all, I plan to merge the cond-optab branch next Friday morning European time. No commit should be made to trunk from Friday 6:00 AM GMT to 12:00 AM GMT (or probably earlier). Thanks! Paolo