I included Michaels work-around into my branch for bug 431244. I am not sure though, if this bug can now be considered fixed.
I included Michaels work-around into my branch for bug 431244. I am not sure though, if this bug can now be considered fixed.