commit | 7ba5ad4cfb49a5de3971f823ba5d08d4760480c2 | [log] [download] |
---|---|---|
author | nicm <nicm> | Fri Dec 22 10:18:51 2017 +0000 |
committer | nicm <nicm> | Fri Dec 22 10:18:51 2017 +0000 |
tree | 76f923b33af2dd70f10d5b1c0033d8f234d2e72a | |
parent | 5c824322004571b40668393876e9aaac0f97eb77 [diff] |
Do not try to set default value on user options (they don't have one), from Charles Howard in GitHub issue 1161.