Skip to content

Conversation

@miss-islington
Copy link
Contributor

(cherry picked from commit 8e3a738)

Co-authored-by: Terry Jan Reedy tjreedy@udel.edu

(cherry picked from commit 8e3a738)

Co-authored-by: Terry Jan Reedy <tjreedy@udel.edu>
@miss-islington
Copy link
Contributor Author

@terryjreedy: Status check is done, and it's a success ✅ .

1 similar comment
@miss-islington
Copy link
Contributor Author

@terryjreedy: Status check is done, and it's a success ✅ .

@miss-islington
Copy link
Contributor Author

Sorry, I can't merge this PR. Reason: Pull Request is not mergeable.

@miss-islington miss-islington merged commit a8cac57 into python:3.8 Jul 21, 2019
@miss-islington miss-islington deleted the backport-8e3a738-3.8 branch July 21, 2019 19:44
@miss-islington
Copy link
Contributor Author

@terryjreedy: Status check is done, and it's a success ✅ .

1 similar comment
@miss-islington
Copy link
Contributor Author

@terryjreedy: Status check is done, and it's a success ✅ .

@terryjreedy
Copy link
Member

@Mariatta Just so you know, miss-islington said almost simultaneously 'I cannot merge this' and 'I just merged this'. I just pulled to my machine and fortunately the latter is correct.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants