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

[Jonathan Gonzalez V.]

Update of task #7754 (project administration):

                  Status:              Wait reply => Done                   
        Percent Complete:                      0% => 100%                   
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #3:

Hi Isidor,

I have approved your project as non-GNU and changed the name of your project
to "distamper". You will receive an automated
e-mail containing detailed information about the approval. If you
would like to offer your project to the GNU project, please contact
the GNU Eval team, following the instructions at
http://www.gnu.org/help/evaluation.html .

Regards.

    _______________________________________________________

Reply to this item at:

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

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