On Sun, 17 Dec 2017, adrian15 wrote: > I attach a patch that fixes this problem. It seems it was just a typo.
Applied in git. Cheers, -- Raphaël Hertzog ◈ Debian Developer Support Debian LTS: https://www.freexian.com/services/debian-lts.html Learn to master Debian: https://debian-handbook.info/get/