Comment 6 for bug 2031289

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

Can I close the bug then?