Skip to content

Improve shell identifier on case-insensitive system - #22391

Merged
Kartik Raj (karrtikr) merged 2 commits into
microsoft:mainfrom
JamzumSum:patch-1
Nov 7, 2023
Merged

Improve shell identifier on case-insensitive system#22391
Kartik Raj (karrtikr) merged 2 commits into
microsoft:mainfrom
JamzumSum:patch-1

Commits

Commits on Nov 1, 2023