Skip to content

Rename getOrElse operator - #387

Merged
AbdallahS merged 1 commit into
mainfrom
as/get-or-else
Aug 26, 2026
Merged

Rename getOrElse operator#387
AbdallahS merged 1 commit into
mainfrom
as/get-or-else

Conversation

@AbdallahS

Copy link
Copy Markdown
Member

No description provided.

@AbdallahS
AbdallahS merged commit be0cfbb into main Aug 26, 2026
14 checks passed
@AbdallahS
AbdallahS deleted the as/get-or-else branch August 26, 2026 09:55
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