[GitHub] ignite pull request #5418: IGNITE-10303

2018-11-16 Thread devozerov
GitHub user devozerov opened a pull request: https://github.com/apache/ignite/pull/5418 IGNITE-10303 You can merge this pull request into a Git repository by running: $ git pull https://github.com/gridgain/apache-ignite ignite-10303 Alternatively you can review and apply thes

[GitHub] ignite pull request #5418: IGNITE-10303

2018-11-17 Thread devozerov
Github user devozerov closed the pull request at: https://github.com/apache/ignite/pull/5418 ---