Skip to content

Rename NAME to PATTERN_NAME#645

Merged
mbaldessari merged 1 commit intovalidatedpatterns:mainfrom
mbaldessari:rename_var
Oct 23, 2025
Merged

Rename NAME to PATTERN_NAME#645
mbaldessari merged 1 commit intovalidatedpatterns:mainfrom
mbaldessari:rename_var

Commits

Commits on Oct 23, 2025