Skip to content

Fix issue #12#13

Merged
lohedges merged 1 commit into
develfrom
fix_12
Jul 9, 2026
Merged

Fix issue #12#13
lohedges merged 1 commit into
develfrom
fix_12

Conversation

@lohedges

@lohedges lohedges commented Jul 9, 2026

Copy link
Copy Markdown
Contributor

This PR closes #12.

@lohedges lohedges added the bug Something isn't working label Jul 9, 2026
@lohedges lohedges temporarily deployed to ghostly-build July 9, 2026 09:42 — with GitHub Actions Inactive
@lohedges lohedges temporarily deployed to ghostly-build July 9, 2026 09:42 — with GitHub Actions Inactive
@lohedges lohedges temporarily deployed to ghostly-build July 9, 2026 09:42 — with GitHub Actions Inactive
@lohedges lohedges temporarily deployed to ghostly-build July 9, 2026 09:42 — with GitHub Actions Inactive
@lohedges lohedges merged commit ca6bf20 into devel Jul 9, 2026
4 checks passed
@lohedges lohedges mentioned this pull request Jul 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Auto-zero ring anchors is too general

1 participant