Merge remote-tracking branch 'origin/master'
authordevozerov <vozerov@gridgain.com>
Mon, 12 Feb 2018 13:34:41 +0000 (16:34 +0300)
committerdevozerov <vozerov@gridgain.com>
Mon, 12 Feb 2018 13:34:41 +0000 (16:34 +0300)

Trivial merge