Merge remote-tracking branch 'origin/master'
authordevozerov <vozerov@gridgain.com>
Wed, 26 Dec 2018 16:17:53 +0000 (19:17 +0300)
committerdevozerov <vozerov@gridgain.com>
Wed, 26 Dec 2018 16:17:53 +0000 (19:17 +0300)

Trivial merge