[PATCH] log: do case insensitive search for --user option

[Matt Mackall]

On Wed, 2010-10-20 at 15:33 +0200, Gilles Moris wrote:
> # HG changeset patch
> # User Gilles Moris <gilles.moris at free.fr>
> # Date 1287581555 -7200
> # Node ID f2aa493389b66723dfb60d1a64bf539abc292227
> # Parent  60f38abdccdcf561ad367e2da1d872bffd967f8e
> log: do case insensitive search for --user option

I guess that counts as a bugfix: email addresses are supposed to be
case-insensitive and we recommend using them as usernames. Queued,
thanks!

-- 
Mathematics is the supreme nostalgia of our time.