Skip to content

prop_conv_solvert::get_bool now returns optional#4500

Merged
tautschnig merged 1 commit intodevelopfrom
get_bool_interface
Apr 13, 2019

Commits

Commits on Apr 13, 2019