commit | 373541104b745f58a5d6eaba81444cf1ccb0e595 | [log] [download] |
---|---|---|
author | nicm <nicm> | Wed Jan 18 08:40:50 2017 +0000 |
committer | nicm <nicm> | Wed Jan 18 08:40:50 2017 +0000 |
tree | 7bf2e6ab4c5b4e388af6d41f307e3d6bc0c75868 | |
parent | 6b6b0e91d0e3ee5d92f67f383172037bf1348880 [diff] |
options_match needs to explicitly check for user options.