djcb/mu — pull request #149 by abend (2013-03-06 23:48:37+00:00)
Title: Customize visible header flags take 2

Hi,

Sorry about the buggy patch last time. That was my inexperience with the subtleties of defcustom. This patch has the same behavior and nearly the same code and is better tested.