Merge branch 'master' of git.labs.intellij.net:idea/community
authorMax Medvedev <maxim.medvedev@jetbrains.com>
Wed, 2 Sep 2015 12:58:05 +0000 (15:58 +0300)
committerMax Medvedev <maxim.medvedev@jetbrains.com>
Wed, 2 Sep 2015 12:58:05 +0000 (15:58 +0300)
Pull request accepted


Trivial merge