[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #7754] Submission of proofstore
From: |
Isidor Zeuner |
Subject: |
[Savannah-register-public] [task #7754] Submission of proofstore |
Date: |
Thu, 14 Feb 2008 11:23:33 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9b3pre) Gecko/2008020301 /3.0b3pre |
Follow-up Comment #4, task #7754 (project administration):
Hi Jonathan,
thank you for approving my project. Unfortunately, now the system name has
been renamed to "distamper", while the project name is still "proofstore". Is
it possible to do something about that, so the naming will be consistent?
Best regards,
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/task/?7754>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/