On 9 November 2022 at 12:17, Kurt Hornik wrote: | Dirk: could you perhaps consider to apply that patch and redo the Debian | 4.2.2 packages? Yes. If and when we have an identified patch I can carry it over to the Debian package (and hence its Ubuntu rebuilds). Though it also seems an eventual 4.2.3 may be needed. But we can of course pre-empt it. Dirk -- dirk.eddelbuettel.com | @eddelbuettel | edd@debian.org