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.

Sign up for GitHub

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

Jump to bottom

[fs.path.member],[fs.path.modifier],[fs.filesystem.error.members] Fix equals postconditions involving `empty()` #6535

Merged

jensmaurer merged 3 commits into cplusplus:main from Eisenwave:fix-equals-postcondition

Sep 3, 2023

Contributor

Eisenwave commented Aug 30, 2023

No description provided.

Eisenwave added 3 commits

August 30, 2023 14:01


          [fs.path.member] fix empty() == true

0c5eee1


          [fs.path.modifiers] fix empty() == true

241035c


          [fs.filesystem.error.members] fix missing 'is true'

86fd8f2

jwakely approved these changes

View reviewed changes

jensmaurer merged commit ab41857 into cplusplus:main

2 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment