On Mon, Nov 04, 2019 at 12:10:48PM +0000, Jonathan Wiltshire wrote: > Yes, that seems to solve it - thanks for your patience.
Thank you for feedback! I've sent bugreport against release.debian.org: https://bugs.debian.org/944282 Maybe next year the package will be uploaded.
