Skip to content

naming only: IsPatternBased -> IsPattern#2482

Merged
mgravell merged 1 commit intomainfrom marc/fixnameJun 13, 2023

Commits

Commits on Jun 13, 2023