> Something seems to be broken with the time operators in 7.2b2:...
Hmm. You are right. Thanks for catching this; will be fixed in cvstonight.
- Thomas