GitHub user rprabhat opened a pull request:
https://github.com/apache/ignite/pull/4093
Merge pull request #1 from apache/master
merge from master
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/rprabhat/ignite master
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/ignite/pull/4093.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #4093
----
commit 57667acad2ee002c42122243dfbb25a02ce7d7e3
Author: Prabhat Ranjan <prabhat01@...>
Date: 2018-05-05T10:40:55Z
Merge pull request #1 from apache/master
merge from master
----
---
