On Thu, Jul 09, 2020 at 10:52:18AM +0100, Chris Lamb wrote: > However, as I understand it, this pu bug has not been confirmed yet > and this would actually update the version in oldstable to the > 0.8.x branch anyway, i.e. larger than my 0.7.4-2+deb9u1. I therefore > conclude that this is fine *this* time.
Yeah, the 0.8 update will shortly supersede your 0.7.4-2+deb9u1 update. Cheers, Moritz