> This is fixed now, thanks.
>
> I used a slightly different fix, taking `rmail-header-style' into
> account.  Thanks anyway for the patch!

It works for me. Thanks for the quick fix. Although ...

-- 
T.F. Torrey

Reply via email to