Anyways:
Yes, the bug is fixed by this:
and
So yes, it is all resolved.
I think we can close that ticket, that topic, and this topic right?