[Exptools-devel] Re: The "exptools" name

[Tobias P. <po...@mp...>]

Hi Dave,

you asked us to change the name of our "exptools" package.
We discussed the topic and thought of a different name. 
The problem is that is nearly impossible to change
the name of a sourceforge project. The only possibility
is to open a new project and delete the old one. We
already opened one with a different name ("explab") and
were willing to do some effort to transfer the project
data, but then we noticed that it is not possible to 
transfer the submitted bugs and feature requests, without
filling out 40 www-forms. So, we give up and stay
with the old name. I hope, you can accept this.

Regards,
  Tobias

-- 
Tobias Polzin, Max-Planck-Institut für Informatik
Stuhlsatzenhausweg 85, 66123 Saarbrücken
Email: po...@mp...
Phone: +49-681-9325-122  Fax: +49-681-9325-199