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

Trivial merge