Merge branch 'develar/is'
authorVladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Mon, 25 Jul 2016 12:12:46 +0000 (14:12 +0200)
committerVladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Mon, 25 Jul 2016 12:12:46 +0000 (14:12 +0200)

Trivial merge