Skip to content

shielding #789 behind a new #define to effectively disable it now#802

Merged
eddelbuettel merged 1 commit intomasterfrom
feature/condition_unwind_protect
Jan 16, 2018
Merged

shielding #789 behind a new #define to effectively disable it now#802
eddelbuettel merged 1 commit intomasterfrom
feature/condition_unwind_protect

Commits

Commits on Jan 15, 2018