> When you upgraded to 1.7.2, was this a vanilla mutt version?
 
I originally noticed this with mutt on Gentoo which is heavily patched. When I 
saw your notice I tried with tip and found the same.

Reply via email to