Skip to content

Improve shell identifier on case-insensitive system#22391

Merged
karrtikr merged 2 commits intomicrosoft:mainfrom
JamzumSum:patch-1
Nov 7, 2023
Merged

Improve shell identifier on case-insensitive system#22391
karrtikr merged 2 commits intomicrosoft:mainfrom
JamzumSum:patch-1

Commits

Commits on Nov 1, 2023