So, my sense is here that we should fix these minor documentation issues and decide on dev-tools and spin a new RC and get this sucker out the door. I think I have some time tomorrow, I can generate the artifacts.
Shall we vote on inclusion of dev-tools? -Grant --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
