Build #1331 (Nov 11, 2019 1:28:51 PM)

PR #4347: Stop generating deprecated ...

GitHub pull request #4347 of commit 27826681442f67efe9933f49f7cfdb806c39fa44, no merge conflicts.