Skip to content

Revert "ARM: use narrower division when possible"#28

Merged
mkobetic merged 1 commit intomainfrom
revert-22-narrower-division
Feb 2, 2026
Merged

Revert "ARM: use narrower division when possible"#28
mkobetic merged 1 commit intomainfrom
revert-22-narrower-division

Conversation

@mkobetic
Copy link
Owner

@mkobetic mkobetic commented Feb 2, 2026

Reverts #22

@mkobetic mkobetic merged commit 6e8b526 into main Feb 2, 2026
3 checks passed
@mkobetic mkobetic deleted the revert-22-narrower-division branch February 2, 2026 00:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant