On Tue, 12 Jun 2018 00:35:15 +0200 Samuel Thibault <sthibault@debian.org> wrote: > So, does anybody on debian-hurd have time for upstreaming? I can make a pull request on their github repo. Should the patch includes some comments? Can I or should I point to the debian bug report? -- Regards, Anatoly