This has actually been fixed, but we still need to fix bug 112471 which is about looking up people by their irc names on the /people page.
This has actually been fixed, but we still need to fix bug 112471 which is about looking up people by their irc names on the /people page.