clarified become options do not imply others

fixes #14635
This commit is contained in:
Brian Coca
2016-02-24 10:58:40 -05:00
parent 8e0c8ffe7b
commit 03c33053aa
3 changed files with 7 additions and 5 deletions