Skip to content

Add method returning an option when getting a key#23

Merged
pulsastrix merged 1 commit into
namib-project:mainfrom
ffddorf:get-opt
May 5, 2026
Merged

Add method returning an option when getting a key#23
pulsastrix merged 1 commit into
namib-project:mainfrom
ffddorf:get-opt

Conversation

@mraerino
Copy link
Copy Markdown
Contributor

This allows more easy handling of values that might not be set

Copy link
Copy Markdown
Member

@pulsastrix pulsastrix left a comment

Choose a reason for hiding this comment

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

Hello and thanks for the PR!

Looks good to me.

@pulsastrix pulsastrix merged commit 69c6ebf into namib-project:main May 5, 2026
3 checks passed
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