Resolving as the associated pull request is closed already.

Reopen if necessary.