Merge pull request #12414 from eileenmcnaughton/option_value
authorSeamus Lee <seamuslee001@gmail.com>
Thu, 5 Jul 2018 22:45:19 +0000 (08:45 +1000)
committerGitHub <noreply@github.com>
Thu, 5 Jul 2018 22:45:19 +0000 (08:45 +1000)
Simplify input params on OptionValue::addOptionValue


Trivial merge