Allow idents from case arms when cuddling #173

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

Merged

bombsimon merged 1 commit into main from case-arms

Jun 13, 2025

Owner

bombsimon commented Jun 13, 2025

Closes #171


          Allow idents from case arms when cuddling

99ad0fa

Closes #171

coveralls commented Jun 13, 2025

coverage: 94.404% (-0.2%) from 94.566%
when pulling 99ad0fa on case-arms
into 9bcfb87 on main.

bombsimon merged commit dacbaad into main

4 checks passed

bombsimon deleted the case-arms branch

June 13, 2025 17:19

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

Labels

None yet