Nathanael Nerode wrote:
It doesn't seem to serve a useful purpose to leave it hanging around. Unless it's reproducible in which case it should lose the tag.
No, the Hurd project doesn't have resources to resolve tough and rare problems but at least we try to keep list of known problems. Look at http://bugs.debian.org/hurd
Regards, ogi