Skip to content

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

Merged
marcoeilers merged 1 commit intomasterfrom meilers_adt_allow_other_extensionsJun 11, 2024

Commits

Commits on Jun 11, 2024