Skip to content

Avoid boost::optional::has_value()#1622

Merged
rustam-gamidov-here merged 1 commit intomasterfrom
rga/remove-has-value
Jul 11, 2025
Merged

Avoid boost::optional::has_value()#1622
rustam-gamidov-here merged 1 commit intomasterfrom
rga/remove-has-value

Commits

Commits on Jul 11, 2025