Iustin Pop Wed, 05 Oct 2022 14:15:15 -0700
Many years later, any chance of changing the default? Or nobody runs mail servers maybe?
Just saw the same behaviour on one of my machines, and was surprised at the duplicate contents. thanks, iustin