On 16 July 2023 at 14:31, Simon Urbanek wrote: | I looked into it and there was no issue on the build machine or staging server, so it will require some more digging in the international waters .. hopefully sometime next week…
Thanks for checking, sometimes one-offs happen. Dirk -- dirk.eddelbuettel.com | @eddelbuettel | e...@debian.org ______________________________________________ R-package-devel@r-project.org mailing list https://stat.ethz.ch/mailman/listinfo/r-package-devel