On Fri, May 04, 2018 at 09:02:51AM -0700, Alex Mandel wrote: > How about we fix the error? > I suspect that it's due to that particular machine running and older > variant of Debian that no longer receives patches? Yes, ideally we'd upgrade that machine too. Martin: is that on your plate, to finish upgrade of machines? --strk;