Skip to content

call-if-some: add Optional_thunk.call_if_some and use it#171

Merged
seliopou merged 1 commit into
masterfrom
call-if-some
Apr 3, 2020
Merged

call-if-some: add Optional_thunk.call_if_some and use it#171
seliopou merged 1 commit into
masterfrom
call-if-some

Commits

Commits on Apr 3, 2020