Merge pull request #15074 from ja-pa/python-greenlet