Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reword filesystem case sensitivity requirement #641

Merged
merged 1 commit into from
Feb 1, 2024
Merged

Reword filesystem case sensitivity requirement #641

merged 1 commit into from
Feb 1, 2024

Conversation

zimeon
Copy link
Contributor

@zimeon zimeon commented Sep 23, 2023

Fixes #528. Removes a MUST

Copy link
Member

@awoods awoods left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The change looks good. In order to flag this change as one that impacts (reduces) the MUSTs, it may be helpful to add that fact to the pull-request description... so that it shows up in the release notes.

@zimeon
Copy link
Contributor Author

zimeon commented Feb 1, 2024

@awoods - I amended the description to note that a MUST is removed

@awoods awoods self-requested a review February 1, 2024 17:06
@awoods awoods merged commit 15b5cd8 into main Feb 1, 2024
@awoods awoods deleted the issue-528 branch February 1, 2024 17:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Preserving filename case
5 participants