Merge pull request #15673 from TolyaTalamanov:at/fix-valgrind-issue
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 9 Oct 2019 22:48:24 +0000 (22:48 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 9 Oct 2019 22:48:24 +0000 (22:48 +0000)

Trivial merge