diff options
author | nicm <nicm> | 2017-12-22 10:18:51 +0000 |
---|---|---|
committer | nicm <nicm> | 2017-12-22 10:18:51 +0000 |
commit | 7ba5ad4cfb49a5de3971f823ba5d08d4760480c2 (patch) | |
tree | 76f923b33af2dd70f10d5b1c0033d8f234d2e72a /cmd-rename-session.c | |
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.
Diffstat (limited to 'cmd-rename-session.c')
0 files changed, 0 insertions, 0 deletions