Skip to content

Fixes for source mirrors#83

Merged
gtristan merged 2 commits intomasterfrom
abderrahim/fix-lint
Dec 11, 2024
Merged

Fixes for source mirrors#83
gtristan merged 2 commits intomasterfrom
abderrahim/fix-lint

Conversation

@abderrahim
Copy link
Contributor

No description provided.

tristanvb and others added 2 commits December 11, 2024 21:15
This is needed to properly support all methods of plugin loading, and
is used in the `sources` and `elements` modules as well.
@gtristan gtristan merged commit a66be3c into master Dec 11, 2024
8 checks passed
@gtristan gtristan deleted the abderrahim/fix-lint branch December 11, 2024 17:10
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.

3 participants