Refresh patches
authorIOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org>
Fri, 10 Nov 2023 11:15:48 +0000 (12:15 +0100)
committerIOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org>
Fri, 10 Nov 2023 11:15:48 +0000 (12:15 +0100)
commit19048ad9e71404e2f46295e958865501c75459aa
tree1365de4ac3c7ce007bb8c001a6db1db29822c26f
parenta1abafa3405e62596609cf8d8176f59928660b46
Refresh patches
debian/patches/dont_compress_manpages.patch
debian/patches/gui-launcher.patch