Merge pull request #8542 from yamgent/webpref-numeric
authorKevin Sawicki <kevin@github.com>
Tue, 7 Feb 2017 17:15:55 +0000 (09:15 -0800)
committerGitHub <noreply@github.com>
Tue, 7 Feb 2017 17:15:55 +0000 (09:15 -0800)
Fix webpreferences not accepting numeric options


Trivial merge