Michael, could you comment a bit on this? You debugged this some time ago and did the patch in comment #6.
Michael, could you comment a bit on this? You debugged this some time ago and did the patch in comment #6.