Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Thu, 27 Oct 2016 12:00:07 +0000 (14:00 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Thu, 27 Oct 2016 12:00:07 +0000 (14:00 +0200)
commit528c3e53e335b6f5e4d83760c7d6733a69a78a1b
treebf71485edaa18be1742e22e1679dbea241cce425
parentf8f8c9aa019be1ad979a80f6ea144ce650883700
parent4e48ad69c832a7c68df8d643149201e7992f07f3
Merge remote-tracking branch 'origin/master'