On Mon, Jul 17, 2006 at 03:27:27PM +0200, Adeodato Simó wrote: > > I'd be very happy if you'd consider applying the attached patch, so that > we get: > > User-Agent: Mutt/1.5.12 (2006-07-14) > > Instead of: > > User-Agent: Mutt/1.5.12-2006-07-14 > > I don't know about others, but I found the latter a tad ugly. O:-) I personally don't like either - what's wrong with the way it was before?