Merge pull request #9855 from IgWod:extract-vector-typedefs
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sun, 15 Oct 2017 14:29:20 +0000 (14:29 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sun, 15 Oct 2017 14:29:21 +0000 (14:29 +0000)

Trivial merge