Re: What is the criterion for Python 3.7 side tag merge?