Build #1335 (Nov 14, 2019 3:32:03 PM)

PR #4551: Fix missing conversion in s...

GitHub pull request #4551 of commit 76484b946bf0de9f5f779a8cd29d68081c9100d5, no merge conflicts.