Did this pull request work?

I don't know