Skip to content

merge isName and isNameInsensitive#1896

Merged
TomasVotruba merged 1 commit intomasterfrom
sensitive
Aug 25, 2019
Merged

merge isName and isNameInsensitive#1896
TomasVotruba merged 1 commit intomasterfrom
sensitive

Commits

Commits on Aug 25, 2019