[Termtools] should test results be public?

[Carsten Otto]

On Fri, Oct 24, 2008 at 05:46:49PM +0200, Johannes Waldmann wrote:
> I suggest that fixing this bug is not too important now.

Agreed.
-- 
Carsten Otto           otto at informatik.rwth-aachen.de
LuFG Informatik 2      http://verify.rwth-aachen.de/otto/
RWTH Aachen            phone: +49 241 80-21241
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081024/9f3c61bb/attachment.pgp