[Savannah-register-public] [task #7754] Submission of proofstore

[Jonathan Gonzalez V.]

Follow-up Comment #5, task #7754 (project administration):

Hi Isidor,

I've changed the project name, this was done by using editing the project
info on the Main menu, 


Regards,

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?7754>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/