Closed deadsnakes-issues-bot closed 6 years ago
just for curiosity sake: I notice the exact change was applied to master but the PR was not merged -- any specific reason?
Just bad habits. Thank you for the pull request. The bot was a great idea!
cheers :)
The deadsnakes ppa has changed names! For more information, see deadsnakes/issues#54
Committed via https://github.com/asottile/all-repos