marionnet-dev team mailing list archive

[Luca Saiu <Luca.Saiu@xxxxxxxxxxxxxxxxxxxx>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 03/24/2011 02:09 PM, Luca Saiu wrote:
> Yes, this
> sucks.  And the thing must absolutely be documented.  I consider this a bug.

It's now bug #741703:
https://bugs.launchpad.net/marionnet/+bug/741703

- -- 
Luca Saiu
http://www-lipn.univ-paris13.fr/~saiu
GNU epsilon: http://www.gnu.org/software/epsilon
Marionnet:   http://www.marionnet.org
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk2LQ4QACgkQvzOavibF0oaizQCgqPzfWkSG12rHtgPRL+i3WBij
2mgAoKLwtAaI7LGVMOt2VkEcWZXxzyCF
=zMQT
-----END PGP SIGNATURE-----