Hi, On Fri, Jul 04, 2025 at 03:32:03PM +0100, Barak A. Pearlmutter wrote: > You're also welcome to push the commit and tag to the packaging repo. > If you don't I will just download it from debsnap and do that myself.
Done, the idea is not to cause you hassle but help if possible. I did not initially as the debian branch was already ahead. But I have now pushed the changes, and then merged the debian/3.5.28-2.1 tag into debian resolving the merge conflict (would still be good if you can double-check). Regards, Salvatore
