On Thu, Aug 14, 2008 at 20:52:20 -0000, Simon Michael wrote:
> Duplicated new issues is also fixed. Re other thing mentioned on this page,
> duplicate users, let's open a new issue if needed. I see that some users have
> duplicates, but it doesn't seem to be hurting us yet. Closing this issue.

Just one more (minor) thing Simon...

If we're adding darcs-devel to the nosy list, I think this means we need
to stop having a special rule to forward new entries to darcs-devel as
well.

Not nearly as serious as the issue you fixed, however.