# that should be the right syntax tags 720941 patch user 720941 debian-hurd@lists.debian.org usertags 720941 hurd thanks