Merge pull request #16901 from eileenmcnaughton/settings
authorMatthew Wire <mjw@mjwconsult.co.uk>
Mon, 6 Apr 2020 09:24:30 +0000 (10:24 +0100)
committerGitHub <noreply@github.com>
Mon, 6 Apr 2020 09:24:30 +0000 (10:24 +0100)
Fix bug on handling 'is_required'


Trivial merge