Merge pull request #18282 from alalek:update_version_3.4.12-pre
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 7 Sep 2020 16:57:21 +0000 (16:57 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 7 Sep 2020 16:57:21 +0000 (16:57 +0000)

Trivial merge