@avorobiev could you please take care of the 2 small updates and it will be mergeable. thanks.

@vicb And it's done :-) #4708

Thanks. Just FYI you don't have to create a new PR each time, you can force push to the same branch in order to update the PR.

I don't know it. Thanks. Next time i'll do force push.

If you want to test it you can squash your 2 commits (in 4708) and force push (to have only a single commit)

Yes, @vicb, thank you for tips.
I knew about force commit and squash in Git. But I didn't know that if I rebase branch + squash 2 commits + make force push to the same branch then GitHub will link it with the same issue and everythings will be ok. I was afraid that it broke something in github interfaces.
Now I understand that I could do it. So, next time I'll do it better :-).