Merge branch 'traff/dumb-aware-run'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 22 Aug 2017 21:14:09 +0000 (23:14 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 22 Aug 2017 21:14:09 +0000 (23:14 +0200)

Trivial merge