> A slightly separate issue is what to do with 3.4.7. It is a bad release and > we don't want folks using it, so I started this discussion to determine what > to do with it. I'm suggesting we remove it from mirrors and from the web > site, just like we did with 3.3.1 back in the day.
+1 for this. -Ivan
