Skip to content

fix: treat Windows del flags as case-insensitive - #13145

Open
tonycoder-hub wants to merge 1 commit into
continuedev:mainfrom
tonycoder-hub:cursor/fix-windows-del-flag-case-1913
Open

fix: treat Windows del flags as case-insensitive#13145
tonycoder-hub wants to merge 1 commit into
continuedev:mainfrom
tonycoder-hub:cursor/fix-windows-del-flag-case-1913

fix(terminal-security): match Windows del flags case-insensitively

9b459aa
Select commit
Loading
Failed to load commit list.
GitGuardian / GitGuardian Security Checks succeeded Aug 17, 2026 in 32s

No secrets detected ✅

1 commit was scanned without uncovering any secrets.

Details

Commit scanned: 1

  • Pull request #13145: cursor/fix-windows-del-flag-case-1913 👉 main

🦉 GitGuardian detects secrets in your source code to help developers and security teams secure the modern development process. You are seeing this because you or someone else with access to this repository has authorized GitGuardian to scan your pull request.