I closed the bug for now as I believe it is fixed as a side-effect of the work that we did in the last months. If it pops up again we can re-open it.
I closed the bug for now as I believe it is fixed as a side-effect of the work that we did in the last months. If it pops up again we can re-open it.