Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 6 Sep 2016 21:48:49 +0000 (23:48 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 6 Sep 2016 21:48:49 +0000 (23:48 +0200)
commitc875fccd8a1eb60dc77d9d8851b9bf9e437c112d
treec09f7441c56af528e043b8ffc13693c6138168b6
parent3e211035141f68333386cb5b64fc57d6cec79c52
parentf5b1fa50ef5b7969b2da7b1e77406d995f42103c
Merge remote-tracking branch 'origin/master'