configury: harden IGNORE_TKR check#12707
Closed
ggouaillardet wants to merge 1 commit intoopen-mpi:v4.1.xfrom
Closed
configury: harden IGNORE_TKR check#12707ggouaillardet wants to merge 1 commit intoopen-mpi:v4.1.xfrom
ggouaillardet wants to merge 1 commit intoopen-mpi:v4.1.xfrom