Synopsis: Bug#375530: index weirdness if mailbox is emptied while inside the pager **** Comment added by cb on Tue, 30 Jan 2007 12:34:32 +0100 **** fix synopsis (gnats doesn't grok wrapped headers)