The bug-report on GitLab is now public, they created a patchset for it.
So we can transform this bug-report here to public.
The bug-report on GitLab is now public, they created a patchset for it.
So we can transform this bug-report here to public.