Skip to content

Replace nonstd::optional by C++17 std::optional#8034

Merged
thomasspriggs merged 1 commit intodiffblue:developfrom
tautschnig:cleanup/optionalt
Nov 29, 2023

Commits

Commits on Nov 20, 2023