does that mean that this pull request can be closed?