[Termtools] timeout for verification (VOTE)

[Johannes Waldmann]

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