Skip to content

Minor polish on one Rd file and new micro release#1282

Merged
eddelbuettel merged 3 commits intomasterfrom feature/polishOct 27, 2023