Skip to content
This repository was archived by the owner on Jan 12, 2026. It is now read-only.

extension type support for unnecessary_this#4675

Merged
pq merged 1 commit into
mainfrom
unnecessary_this_extensionTypes
Aug 11, 2023
Merged

extension type support for unnecessary_this#4675
pq merged 1 commit into
mainfrom
unnecessary_this_extensionTypes

Conversation

@pq

@pq pq commented Aug 11, 2023

Copy link
Copy Markdown
Contributor

@coveralls

Copy link
Copy Markdown

Coverage Status

coverage: 96.543%. remained the same when pulling ca02536 on unnecessary_this_extensionTypes into 3e07457 on main.

@pq pq merged commit 78251ed into main Aug 11, 2023
@pq pq deleted the unnecessary_this_extensionTypes branch August 11, 2023 20:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Development

Successfully merging this pull request may close these issues.

unnecessary_this support for extension types

3 participants