Merge remote branch 'origin/master'
authorDmitry Jemerov <yole@jetbrains.com>
Wed, 1 Feb 2012 14:00:26 +0000 (15:00 +0100)
committerDmitry Jemerov <yole@jetbrains.com>
Wed, 1 Feb 2012 14:00:26 +0000 (15:00 +0100)

Trivial merge