Ah, no it was not merged. I requested some changes (which you’ve made). I think what confused Andrei Ivanov is that you said “thanks for merging”