Skip to content
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.

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

fix: use numeric_dollar where available #836

Merged
merged 5 commits into from
Dec 5, 2023
Merged

Conversation

Mause
Copy link
Owner

@Mause Mause commented Dec 5, 2023

No description provided.

@Mause Mause force-pushed the feature/numeric_dollar branch from 659e5af to f51ee7f Compare December 5, 2023 01:53
@Mause Mause force-pushed the feature/numeric_dollar branch from b3ee851 to ec61da2 Compare December 5, 2023 02:08
@Mause Mause marked this pull request as ready for review December 5, 2023 02:43
@Mause Mause merged commit aae66e7 into main Dec 5, 2023
19 checks passed
@Mause Mause deleted the feature/numeric_dollar branch December 5, 2023 02:51
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