On Tue, 4 May 2010 14:44:39 +0100, David Edmondson <dme@dme.org> wrote: > Insert a separator every three digits when outputting numbers. Allow > the user to choose the separator by customizing > `notmuch-decimal-separator'. Widen the space allocated for message > counts accordingly. Committed. Thanks. -Carl