Yes it is, I realized it when the fix fixed your reproducer too. :) I noted both bug in the commit message. I mark this as duplicate now.
Yes it is, I realized it when the fix fixed your reproducer too. :) I noted both bug in the commit message. I mark this as duplicate now.