Skip to content

Add dedicated NUMBER type#12

Merged
wendigo merged 1 commit intomasterfrom
user/serafin/number-type
Mar 30, 2026
Merged

Add dedicated NUMBER type#12
wendigo merged 1 commit intomasterfrom
user/serafin/number-type

Conversation

@wendigo
Copy link
Copy Markdown
Contributor

@wendigo wendigo commented Mar 30, 2026

No description provided.

@cla-bot cla-bot Bot added the cla-signed label Mar 30, 2026
@wendigo wendigo requested a review from findepi March 30, 2026 16:14
Copy link
Copy Markdown
Member

@findepi findepi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! would be good to have @electrum 's eyes on this too.

@wendigo wendigo merged commit 106e30d into master Mar 30, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

3 participants