Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Fri, 7 Oct 2016 10:28:00 +0000 (13:28 +0300)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Fri, 7 Oct 2016 10:28:00 +0000 (13:28 +0300)
commit640fdc8c433525238d1bf16448927120657e055c
treef161b6bc1d861a9414bb07b05abc0b99d979c182
parente3f2a9709db38606b05fbaa94127a85d95dad661
parent0cd1407e8eb282e3b08977a2b030a2bf6e0c2f42
Merge remote-tracking branch 'origin/master'