Hey Arnaud,
Le 08/11/2025 à 14:06, Arnaud Ferraris a écrit :
Sorry, this slipped under my radar, I've just merged your patch into
git so it will be part of the next upload (for which I have no ETA
atm, please let me know if you have a deadline for this).
Thanks for merging the patch! And no, don't worry about when it's
uploaded, I already merged the current Debian version for Ubuntu
Resolute so there is nothing more to do, we will just be able to do a
direct sync next time there is a Debian upload :-)
