Comment 4 for bug 1813532

Juerg Haefliger (juergh) wrote :

Successfully tested both kernels.