Merge branch 'ref/pydev-console-runner-factory-return-interface' of https://github...
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 25 Apr 2017 19:06:59 +0000 (21:06 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 25 Apr 2017 19:06:59 +0000 (21:06 +0200)

Trivial merge