Skip to content

fix case where nom-shell is in not in PATH#389

Merged
mergify[bot] merged 2 commits intomasterfrom joerg-ciFeb 25, 2024