Skip to content
This repository has been archived by the owner on Nov 20, 2024. It is now read-only.

deprecate avoid_as #2439

Merged
merged 1 commit into from
Jan 28, 2021
Merged

deprecate avoid_as #2439

merged 1 commit into from
Jan 28, 2021

Conversation

pq
Copy link
Member

@pq pq commented Jan 28, 2021

@google-cla google-cla bot added the cla: yes label Jan 28, 2021
@coveralls
Copy link

Coverage Status

Coverage remained the same at 96.613% when pulling d8e989f on deprecate_avoid_as into 5ed3c79 on master.

@pq pq merged commit f9f7d61 into master Jan 28, 2021
@pq pq deleted the deprecate_avoid_as branch January 28, 2021 22:54
mockturtl added a commit to mockturtl/tidy that referenced this pull request Mar 3, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Deprecate avoid_as?
3 participants