[Termtools] When to start the competition? (VOTE)

[Johannes Waldmann]

Dear committee members,

as described in earlier email, and on
http://termination-portal.org/wiki/Termination_Competition_Steering_Committee#Current_Votes
please vote (by email to me) for one of S,M,T,L.

The closing time for this vote is Friday 31-Oct, 12:00 noon CET.

The deadline for submission of implementations
will be one hour before the start of the competition.

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/7081bb69/attachment.pgp