I don't think it is released yet, and I don't think there is anything blocking
it. Let me have a day or two to figure it out. High priority stuff at work
På mandag 11. desember 2023 kl. 09:39:06 PST skrev Bastian Germann
<b...@debian.org> følgende:
Hi Eivind,I see you have released 1.0.19. Does this fix the issue? If so, please hand in a package update. Thanks, Bastian
