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/

Reply via email to