It looks like pref mail.server_type is left over from 4.x, but it's still 
referenced in Mozilla code in few places, and it's in mailnews.js. Does 
anybody know if it's still being used?


Reply via email to