Comment 3 for bug 2039786

Revision history for this message
Juerg Haefliger (juergh) wrote :

Yes, this is bad
https://<email address hidden>/