[Termtools] timeout for verification (VOTE)
Johannes Waldmann
waldmann at imn.htwk-leipzig.de
Fri Oct 31 16:08:23 CET 2008
Committee members -
please vote on the timeout that will be applied
for verification (by coqc) of the termination certificates:
1 minute, 3 minutes, 10 minutes (no other options)
deadline for voting: Monday 3-Nov 12:00 noon CET.
best regards - Johannes.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081031/8174ddc0/attachment.pgp
More information about the Termtools
mailing list