On Sat, Jan 11, 2020 at 1:54 AM Greg Wooledge <wool...@eeg.ccf.org> wrote:
> > The cleanest way to do > that would be to add a jessie source to sources.list, and use apt > to install it. That'll at least give the benefit of keeping it > patched so long as jessie's LTS support for it continues. > Are you saying add something to /etc/apt/sources.list ?