Comment 1 for bug 1199772

Hi Florent, marking your bug as a duplicate. We arrived at the same fix as yours, but did not come across additional problems yet. It sounds self defeating, but if you have additional hints about the unclear conditions under which the problem persists, please put them on the original bug report.