[Termtools] Deadline extension, test runs

Matthias Heizmann heizmann at informatik.uni-freiburg.de
Sat Jun 30 02:18:15 CEST 2018


Hi Akihisa, all,

Is the deadline for tool updates already in less than 12 hours?

Were there any test runs? If yes, where can I see the results?

Could we extend the deadline by 36 hours?
If not, every additional hour that I can get would be helpful for me.

Best,
Matthias

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part.
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20180630/13ef6c7a/attachment.sig>


More information about the Termtools mailing list