Hi, >. In that case the build would fail instead creating a wrong one.
Ah, OK, that's good. > I'll update all that later this evening, so we can retag > the 5.5.13/5.5.14 tomorrow. OK? I'll tag and cut 5.5.14 tomorrow like a new release. I don't want to re-tag 5.5.13, I think that would confuse users more. I'll make the changes clear in the release announcement email (that's why I wanted clarification myself ;)). I'm planning to do it at 9am my time, which is 1400h UTC/GMT tomorrow, December 6th. -- Yoav Shapira System Design and Management Fellow MIT Sloan School of Management Cambridge, MA, USA [EMAIL PROTECTED] / www.yoavshapira.com --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]