Merge pull request #9940 from catree:fix_issue_9925
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Fri, 27 Oct 2017 11:05:07 +0000 (11:05 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Fri, 27 Oct 2017 11:05:07 +0000 (11:05 +0000)
commit0c291c77684bef7c10071b158f1dcadc9538b12c
treef2525d8a8672a0b183973603a1fb6bbb496d3037
parent5bf39ceb5d7af59986482e2bc3237af7ae71fd0f
parentf9aa411c92222412cca1764a773fbee0e184cbf6
Merge pull request #9940 from catree:fix_issue_9925