On 08/08/13 21:18, Debian Bug Tracking System wrote:
Hi! I'm closing this bug, since it was tagged "moreinfo" for years without answer. If you still encounter this problem, please feel free to re-open it.I just tested it and it worked just fine when many people did quit, so I guess it just doesn't apply anymore.
Yes, I think you are right. -- Eugen -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org