Shutting down dev.performance

Hi,
At the moment dev.performance is a little used list that overlaps with 
dev.platform. Important recent posts made on dev.performance, have been 
a mistake (eg. threads by Messrs. Jesup and Mandelin). So in order to 
not risk further lost threads I propose we shutdown this mailing list 
and move all of the future discussion to dev.platform.

Any objections?

Rob Helmer, the sole regular user of the list doesn't have any 
objections, anybody else?

Tips on the process for closing a newsgroup?

Taras