New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

fixed a typo in `NoneExhaustiveFieldlessUnit` #965

Merged

obi1kenobi merged 1 commit into obi1kenobi:main from CommanderStorm:NoneExhaustiveFieldlessUnit

Oct 7, 2024

Contributor

CommanderStorm commented Oct 7, 2024 •

edited by obi1kenobi

Loading

This is an unrelated typo I noticed in #963
Pulled out to not break the "not changing unrelated stuff" rule


          fixed a typo in NoneExhaustiveFieldlessUnit

6d3b2d2

obi1kenobi approved these changes

View reviewed changes

obi1kenobi merged commit e29056d into obi1kenobi:main

34 checks passed

CommanderStorm deleted the NoneExhaustiveFieldlessUnit branch

October 7, 2024 16:55

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet