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

Reply via email to