Skip to content
This repository was archived by the owner on Apr 13, 2023. It is now read-only.

Remove darglint#838

Merged
staticdev merged 1 commit intomainfrom
bugfix/remove-darglint
Dec 18, 2022
Merged

Remove darglint#838
staticdev merged 1 commit intomainfrom
bugfix/remove-darglint

Conversation

@staticdev
Copy link
Copy Markdown
Owner

@staticdev staticdev commented Dec 18, 2022

Remove darglint. Reason:

@staticdev staticdev added the removal Removals and deprecations label Dec 18, 2022
@staticdev staticdev merged commit 010135e into main Dec 18, 2022
@staticdev staticdev deleted the bugfix/remove-darglint branch December 18, 2022 15:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

removal Removals and deprecations

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant