Merge pull request #8557 from grundman:patch-3
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Wed, 3 May 2017 12:12:59 +0000 (12:12 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Wed, 3 May 2017 12:12:59 +0000 (12:12 +0000)
commitb92bbffa1acfd4d931276dfce101b1f2ec8ddac9
tree6f1dde4f644629303bc18099e6ef8c0c5d23b7ec
parentf77e9bc995b408509afc01a77212c6fd4a2daa60
parentfce74699613e64538c1fd038d828bb4f0f086fa4
Merge pull request #8557 from grundman:patch-3