Merge PR #709 (https://github.com/JetBrains/intellij-community/pull/709)
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Wed, 31 Jan 2018 09:10:19 +0000 (12:10 +0300)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Wed, 31 Jan 2018 09:10:19 +0000 (12:10 +0300)
commit73931a2ec69ca2c1a38d7b4fc89cab5a5cf35d7d
tree899d1e09d4a489d41708464f3fdcd99fc0acfc8d
parent1dd9ce99cc0221ea9eb118788045f175e153c5cb
parent5ea28c3080e2f877312e370771ef4d1c4100e99f
Merge PR #709 (https://github.com/JetBrains/intellij-community/pull/709)