moin, moin,
both Mozilla and mutt munge the case of a domain to lower case, e.g.
"AZOTO.org" becomes "azoto.org".
Do they have a configuration option to stop this insolent behavior?
ciao,
der.hans
--
# https://www.LuftHans.com/ http://www.TOLISGroup.com/
# When I work, I work hard. When I play, I play hard.
# When I sit, I sleep. - Embe Kugler