Merge branch 'PRmodulelist' of https://github.com/guoci/intellij-community into guoci...
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Wed, 24 Oct 2018 08:25:42 +0000 (10:25 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Wed, 24 Oct 2018 08:25:42 +0000 (10:25 +0200)

Trivial merge