Somebody may want to make an announcement from this - I'd prefer to leave that to you native speakers.
Also, which of the logos do we want to put into ant.jar - and where? Do we add favicon.ico to docs directly instead of docs/manual (I think the browsers will crawl up to look for an icon, but I've disabled that feature in Mozilla 8-) Stefan -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
