On Thu, Sep 16, 2021 at 12:59:45PM +0200, Flavien Bridault wrote:
> I just realized I could have used debian/not-installed instead of patching
> to exclude the files. Please tell me if you prefer this solution.
Ahhh, that's even more simple. ;-)
Feel free to push this change to Git but any solution is fine and
I do not think we should do another upload just because of this.
Kind regards
Andreas.
--
http://fam-tille.de