Skip to content

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

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

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