[Savannah-register-public] [task #12006] Submission of Red Sea (Mentor Graphics)

[Alex Rozenman]

Follow-up Comment #3, task #12006 (project administration):

Hi,

We actually switched to github.

You can remove this project.

Sorry.


    _______________________________________________________

Reply to this item at:

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

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