Thanks for the quick fix on the weekend. I believe the only thing we need to do on the Debian side is package the new version so I'll do that now.
Jeremy On Sun, Jul 17, 2022 at 3:08 PM Marco Trevisan <marco.trevi...@canonical.com> wrote: > > Ok, > > That's fixed in 0.8.1 now, please can you handle the debian side? > > Thanks