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

Editorial: correct "is empty" reference #330

Merged

annevk merged 2 commits into main from is-empty

Jun 13, 2024

Member

annevk commented Jun 13, 2024 •

edited by pr-preview bot

Loading

Fixes #329.


          Editorial: correct "is empty" reference

c04b707

Fixes #329.

andreubotella approved these changes

View reviewed changes


          bonus

38eb3a2

Member

inexorabletash commented Jun 13, 2024

LGTM (and now I need to look at my specs for the same glitch...)

annevk merged commit e20f586 into main

2 checks passed

annevk deleted the is-empty branch

June 13, 2024 14:25

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

Labels

None yet