Merge remote-tracking branch 'origin/master'
authorEkaterina Tuzova <Ekaterina.Tuzova@jetbrains.com>
Mon, 2 Dec 2013 14:21:14 +0000 (18:21 +0400)
committerEkaterina Tuzova <Ekaterina.Tuzova@jetbrains.com>
Mon, 2 Dec 2013 14:21:14 +0000 (18:21 +0400)

Trivial merge