[GitHub] flink pull request #5039: [hotfix][docs] Fix some typos in the documentation...

2017-11-21 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/5039 ---

[GitHub] flink pull request #5039: [hotfix][docs] Fix some typos in the documentation...

2017-11-20 Thread ggevay
GitHub user ggevay opened a pull request: https://github.com/apache/flink/pull/5039 [hotfix][docs] Fix some typos in the documentation. Just some trivial typo fixes in the documentation. You can merge this pull request into a Git repository by running: $ git pull