Skip to content
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.

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

lint since a5e31f3b107df8e9de5f1d9f0f267a0e81534fd7 #3181

Closed
wants to merge 1 commit into from

Conversation

ryanhall07
Copy link
Collaborator

What this PR does / why we need it:

Fixes #

Special notes for your reviewer:

Does this PR introduce a user-facing and/or backwards incompatible change?:


Does this PR require updating code package or user-facing documentation?:


@@ -298,4 +298,4 @@ issues:
max-same-issues: 0

# Show only new issues created after git revision `REV`
new-from-rev: origin/master
new-from-rev: a5e31f3b107df8e9de5f1d9f0f267a0e81534fd7
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

picked a commit from about a month ago #3062

@ryanhall07
Copy link
Collaborator Author

@ryanhall07 ryanhall07 requested a review from linasm February 6, 2021 00:37
@linasm linasm self-assigned this Feb 6, 2021
@linasm
Copy link
Collaborator

linasm commented Feb 18, 2021

Just remembered about this one - @ryanhall07 we can probably close it?

@ryanhall07 ryanhall07 closed this Feb 18, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants