Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 11 Oct 2016 17:14:05 +0000 (19:14 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 11 Oct 2016 17:14:05 +0000 (19:14 +0200)
commitf80becb6a023ba5b45ab6fcbbd84bed5df180449
tree8413435d699d37a6b690f2ba11072e78cd28537e
parentaa26606d06f9c6c848e2706f21f4c70834657a55
parent5426d2437eda9dd43140363735c3b77d18407921
Merge remote-tracking branch 'origin/master'