Skip to content

Preventing ADT plugin crash when it finds unknown AST extensions#800

Merged
marcoeilers merged 1 commit into
masterfrom
meilers_adt_allow_other_extensions
Jun 11, 2024
Merged

Preventing ADT plugin crash when it finds unknown AST extensions#800
marcoeilers merged 1 commit into
masterfrom
meilers_adt_allow_other_extensions

Conversation

@marcoeilers

Copy link
Copy Markdown
Contributor

No description provided.

@marcoeilers marcoeilers enabled auto-merge June 11, 2024 15:28
@marcoeilers marcoeilers merged commit 46513ef into master Jun 11, 2024
@marcoeilers marcoeilers deleted the meilers_adt_allow_other_extensions branch June 11, 2024 15:46
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.

1 participant