commit | 47770a1e91d096fd1c689eb0c78b0f9e76b43639 | [log] [tgz] |
---|---|---|
author | Barney Gale <barney.gale@gmail.com> | Tue May 02 22:51:18 2023 +0100 |
committer | GitHub <noreply@github.com> | Tue May 02 22:51:18 2023 +0100 |
tree | 31b43ddb067af17f1313afb8528289cdce94c681 | |
parent | 1f5384434dce013b5dcf7e7ea3ec5312d13bba72 [diff] |
GH-104104: Optimize `pathlib.Path.glob()` by avoiding repeated calls to `os.path.normcase()` (GH-104105) Use `re.IGNORECASE` to implement case-insensitive matching. This restores behaviour from before GH-31691.