Merge PR #895 (https://github.com/JetBrains/intellij-community/pull/895)
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Wed, 19 Dec 2018 13:12:13 +0000 (14:12 +0100)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Wed, 19 Dec 2018 13:12:13 +0000 (14:12 +0100)
commit7c50438cd10522207e097db13c20795df9451323
tree99de5885ee1517c55430c8e9bfd480074f2bbccd
parent1ea50cb0e088bf977d35ee540edac292a67d2440
parent15b70c854a381aaa2d164a95627b168a5a9cddf7
Merge PR #895 (https://github.com/JetBrains/intellij-community/pull/895)