-
Notifications
You must be signed in to change notification settings - Fork 316
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
[Merged by Bors] - chore: uncdot Archive #12421
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you for doing this!
Clearly, this only un-cdot's. I trust your linter that all these cases are indeed about a single goal only.
I actually did the replacements by hand, to check that the linter was flagging what I thought it should! |
I still think this is a good change; let's get this in rather than letting this rot. |
🚀 Pull request has been placed on the maintainer queue by grunweg. |
bors merge |
In `Archive`, these `·` are scoping when there is a single active goal. These were found using a modification of the linter at #12339.
Pull request successfully merged into master. Build succeeded: |
In `Archive`, these `·` are scoping when there is a single active goal. These were found using a modification of the linter at #12339.
In `Archive`, these `·` are scoping when there is a single active goal. These were found using a modification of the linter at #12339.
In
Archive
, these·
are scoping when there is a single active goal.These were found using a modification of the linter at #12339.