Merge branch 'master' of ../../merge/stream-debugger-plugin into stream-debugger
authorVitaliy.Bibaev <vitaliy.bibaev@jetbrains.com>
Tue, 26 Sep 2017 08:57:52 +0000 (11:57 +0300)
committerVitaliy.Bibaev <vitaliy.bibaev@jetbrains.com>
Tue, 26 Sep 2017 08:57:52 +0000 (11:57 +0300)

Trivial merge