[Savannah-help-public] GNUjump - Previous system name homepage still exists

Hi, My proyect's system name was recently changed to gnujump (it used to be sdljump). Lots of of thanks :-) But there is one problem: www.gnu.org/software/sdljump/ still exists and contains the old outdated page. It is ok to keep that address, as there are many links on the web still pointing t

[Savannah-help-public] Project name change

Hi, I am Juan Pedro Bolívar Puente, the maintainer of SDLjump. This project has just entered the GNU project and I have decided to change its name to GNUjump. Is it possible to change the system name of the project from sdljump to gnujump? Lots of thanks, JP. _