[darcs-devel] [issue1001] some bugs.darcs.net users are duplicated

[Simon Michael]

Simon Michael <simon at joyful.com> added the comment:

Roundup user creations during the first half of 2008 sometimes repeated
themselves after a split-second, probably due to some error condition, causing
these duplicates. I've now retired all duplicate users, so each username is now
unique. Following Tobias' suggestion I consolidated all cross-references from
issues and messages onto the primary (first created) user, then retired the
rest, so you shouldn't notice any disruption, except possibly some reordering of
messages - if so please report it here.

----------
status: chatting -> resolved

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1001>
__________________________________