Customize visible header flags take 2 #149

Merged
merged 1 commit into from Apr 17, 2013

Conversation

Projects
None yet
2 participants
Contributor

abend commented Mar 6, 2013

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.

Owner

djcb commented Mar 31, 2013

Thanks! Could make a pull-request against the 'dev' branch? Sadly, github won't let me change the target branch :/

@djcb djcb merged commit 83c4202 into djcb:master Apr 17, 2013

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment