From: Vladimir.Orlov <Vladimir.Orlov@jetbrains.com>
Date: Mon, 9 Nov 2015 13:58:57 +0000 (+0300)
Subject: Merge remote-tracking branch 'origin/master'
X-Git-Tag: dbe/144.967~14
X-Git-Url: https://git.jetbrains.org/?p=idea%2Fcommunity.git;a=commitdiff_plain;h=00a20e033b6fa7d222c85dd69d28a286c12a0187

Merge remote-tracking branch 'origin/master'
---

00a20e033b6fa7d222c85dd69d28a286c12a0187