Skip to content

Small changes #1232

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Nov 6, 2021
Merged

Small changes #1232

merged 1 commit into from
Nov 6, 2021

Conversation

cdce8p
Copy link
Member

@cdce8p cdce8p commented Nov 6, 2021

@cdce8p
Small changes
d91bb71 
* Based on suggestions from pylint-dev#1218
@cdce8p cdce8p added this to the 2.8.5 milestone Nov 6, 2021
@Pierre-Sassoulas Pierre-Sassoulas added the Maintenance Discussion or action around maintaining astroid or the dev workflow label Nov 6, 2021
@cdce8p cdce8p merged commit 62f3cfb into pylint-dev:main Nov 6, 2021
@cdce8p cdce8p deleted the small-changes branch November 6, 2021 14:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Pierre-Sassoulas Pierre-Sassoulas Pierre-Sassoulas approved these changes

Assignees
No one assigned
Labels
Maintenance Discussion or action around maintaining astroid or the dev workflow
Projects
None yet
Milestone
2.8.5
Development

Successfully merging this pull request may close these issues.
2 participants
@cdce8p @Pierre-Sassoulas