[Termtools] timeout

[Johannes Waldmann]

OK, that calls for a formal vote:

what should be the timeout (for all categories, except complexity)
60 sec  or  120 sec ?  (no other options)

members of the committee, please email to me.
( http://lists.lri.fr/pipermail/termtools/2007-July/000464.html )

Deadline: October 30 (today), 4 p.m. CET (= 3 hours from now)

majority of votes received will decide.
in case of tie, my vote decides.

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/20081030/a71717b9/attachment.pgp