[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:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]