Skip to content

Ignore case when comparing extension names#18815

Merged
gastaldi merged 1 commit intoquarkusio:mainfrom gastaldi:compare_extJul 19, 2021

Commits

Commits on Jul 19, 2021