Skip to content
This repository has been archived by the owner on Mar 25, 2024. It is now read-only.

Check more arithmetic operations #22

Merged
merged 1 commit into from
Dec 14, 2023
Merged

Check more arithmetic operations #22

merged 1 commit into from
Dec 14, 2023

Conversation

dtolnay
Copy link
Owner

@dtolnay dtolnay commented Dec 14, 2023

No description provided.

@dtolnay dtolnay merged commit 9e054fb into master Dec 14, 2023
19 checks passed
@dtolnay dtolnay deleted the force branch December 14, 2023 18:48
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant