Skip to content

Pretty-printing: enumerations should use braces not parentheses#146

Merged
alastairreid merged 1 commit into
masterfrom
areid/pp_fix
Jun 9, 2026
Merged

Pretty-printing: enumerations should use braces not parentheses#146
alastairreid merged 1 commit into
masterfrom
areid/pp_fix

Conversation

@alastairreid

Copy link
Copy Markdown

No description provided.

@alastairreid alastairreid merged commit 7abbfbb into master Jun 9, 2026
1 check passed
@alastairreid alastairreid deleted the areid/pp_fix branch June 9, 2026 10:05
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.

2 participants