Merge pull request #13503 from colemanw/numberWidget
authorJoe Murray <joe.murray@jmaconsulting.biz>
Thu, 24 Jan 2019 19:28:04 +0000 (14:28 -0500)
committerGitHub <noreply@github.com>
Thu, 24 Jan 2019 19:28:04 +0000 (14:28 -0500)
Survey form - use number widget for number fields


Trivial merge