shielding #789 behind a new #define to effectively disable it now#802
Merged
eddelbuettel merged 1 commit intomasterfrom Jan 16, 2018
Merged
shielding #789 behind a new #define to effectively disable it now#802eddelbuettel merged 1 commit intomasterfrom
eddelbuettel merged 1 commit intomasterfrom