I don’t know why my first answer was down-voted, so I deleted it. Anyway, this bug really seems to be fixed. It does no longer happen in my projects.
I don’t know why my first answer was down-voted, so I deleted it. Anyway, this bug really seems to be fixed. It does no longer happen in my projects.