Skip to content

Use get_if instead of holds_alternative to avoid repetition#703

Merged
elazarg merged 1 commit intomainfrom get_ifSep 29, 2024

Commits

Commits on Sep 29, 2024