Merge pull request #14855 from alalek:update_version_3.4.7-pre
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 21 Jun 2019 14:26:40 +0000 (17:26 +0300)
committerGitHub <noreply@github.com>
Fri, 21 Jun 2019 14:26:40 +0000 (17:26 +0300)

Trivial merge