OK, I'll change to use global config. What name is good for the option? "user_encoding" or just "encoding"?
« Back to merge proposal
OK, I'll change to use global config.
What name is good for the option? "user_encoding" or just "encoding"?