Merge pull request #648 (https://github.com/JetBrains/intellij-community/pull/648)
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Tue, 17 Oct 2017 18:40:51 +0000 (20:40 +0200)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Tue, 17 Oct 2017 18:40:51 +0000 (20:40 +0200)
commitdfcc15fd698fb39a52fa118236b317f57b998c57
tree8838a1fd509edf47ff4fa9407f5579df1f36358d
parent4061d4f8010a43e1c781b2c1424435ae5bf32878
parent5929a8e87bbacb912ba0a08620162ed8c68d5b05
Merge pull request #648 (https://github.com/JetBrains/intellij-community/pull/648)