Comment 2 for bug 1845914

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

Correct patch attached :-/