-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello.
Andy Wingo wrote: > Hi Luca, > > Can you file a bug for this? Sure. It's bug #30480. Thanks, - -- 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.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkxDhhoACgkQvzOavibF0obyvwCeO58sLjzrcbVk4nhSM9M+Cfu0 ADkAn2g91Dl5A7JHxNeVdTO7pz6tg/w6 =EB9h -----END PGP SIGNATURE-----