Skip to content

Implement group option for zz_get_str() - #66

Merged
skirpichev merged 1 commit into
diofant:masterfrom
skirpichev:grouping/65
Sep 11, 2026
Merged

skirpichev merged 1 commit into
diofant:masterfrom
skirpichev:grouping/65

Conversation

@skirpichev

Copy link
Copy Markdown
Member

Closes #65

@skirpichev skirpichev added this to the 0.9 milestone Sep 11, 2026
@skirpichev
skirpichev merged commit 01f15b2 into diofant:master Sep 11, 2026
7 checks passed
@skirpichev
skirpichev deleted the grouping/65 branch September 11, 2026 03:39
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.

Support grouping of digits with underscores in zz_get_str()

1 participant