Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 21 Nov 2016 17:59:28 +0000 (18:59 +0100)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 21 Nov 2016 17:59:28 +0000 (18:59 +0100)
commit7787b8f7630ea7be61f94c65630227e9686f52e0
tree230f36c11cc321a4479346065ce18de2ddc8c560
parent1b2ade58187f398991abdb23782565dbec5a22dd
parent482b99fe60e5dfb3930d46be741b97365cc7c994
Merge remote-tracking branch 'origin/master'