mirror of
https://github.com/ankitects/anki.git
synced 2026-06-09 23:10:31 -04:00
<!-- Title (for the Pull Request title field at the top): Use a short prefix so the change type is obvious. You do not need to repeat it in the body below. Examples: - fix: — bugfix - feat: — feature - refactor: — internal change without user-facing feature - docs: — documentation only - chore: — tooling, CI, deps, build housekeeping - test: — tests only --> ## Linked issue (required) - #4851 ## Summary / motivation (required) I made a mistake in #4851 by not lowercasing in the case where a file with the same name but different contents already exists, leading to inconsistent behaviour across platforms ## Steps to reproduce (required, use N/A if not applicable) See linked pr ## How to test (required) Run ./check on linux and windows and see that the same lowercasing behaviour occurs on both ### Checklist (minimum) - [x] I ran `./ninja check` or an equivalent relevant check locally. - [ ] I added or updated tests when the change is non-trivial or behavior changed. ## Scope - [x] This PR is focused on one change (no unrelated edits).
Anki's Rust code.