Closed jeffeaton closed 8 months ago
Addresses #421
Thanks. Corresponding hintr PR at https://github.com/mrc-ide/hintr/pull/488
I merged this into #418; closing this PR.
Addresses #421