Tools release today?

[Braden Shepherdson]

A few users requested on a Plugman bug (the Xcode 5 capabilities one) that
we do a tools release soon, in order to get that fix out.

I'm in favour of it. Any objections to my doing a tools release this
afternoon (say T-3 hours)?

Braden