On 4 May 2022 at 11:32, Martin Maechler wrote: | I'm really sorry for this experience.
Stuff happens -- thanks for fixing it. The weekly build for the rocker/drd container of r-devel (and r-patched) worked fine now that you restored the mirror, so big thanks! Dirk -- dirk.eddelbuettel.com | @eddelbuettel | e...@debian.org ______________________________________________ R-devel@r-project.org mailing list https://stat.ethz.ch/mailman/listinfo/r-devel