It looks like the pull request was merged in github but the repository was never patched. I'll see if there something i can do
It looks like the pull request was merged in github but the repository was never patched. I'll see if there something i can do