Merge pull request #15793 from Cherubin7th:3.4
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sun, 27 Oct 2019 22:45:19 +0000 (22:45 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sun, 27 Oct 2019 22:45:19 +0000 (22:45 +0000)

Trivial merge