Skip to content

Check if "extensions" in scope before checking the extension#2438

Merged
Kludex merged 1 commit intomasterfrom
extensions-is-opt
Jan 23, 2024
Merged

Check if "extensions" in scope before checking the extension#2438
Kludex merged 1 commit intomasterfrom
extensions-is-opt

Conversation

@Kludex
Copy link
Copy Markdown
Owner

@Kludex Kludex commented Jan 23, 2024

@Kludex Kludex requested a review from a team January 23, 2024 07:17
Copy link
Copy Markdown
Contributor

@iudeen iudeen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@Kludex Kludex merged commit e54be85 into master Jan 23, 2024
@Kludex Kludex deleted the extensions-is-opt branch January 23, 2024 07:42
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.

2 participants