On Mon, 11 Feb 2019, Andreas Beckmann wrote: > That was fixed long ago ... do you think this should be fixed via > stable-pu as well?
Ah sorry, I misdiagnosed this because I didn't notice that we are using libpocl2 currently. I don't think it's worth fixing in stable. Cheers, -- Raphaël Hertzog ◈ Debian Developer Support Debian LTS: https://www.freexian.com/services/debian-lts.html Learn to master Debian: https://debian-handbook.info/get/