Github user asfgit closed the pull request at:
https://github.com/apache/flink/pull/5135
---
Github user greghogan commented on a diff in the pull request:
https://github.com/apache/flink/pull/5135#discussion_r155627163
--- Diff:
flink-runtime/src/main/scala/org/apache/flink/runtime/taskmanager/TaskManager.scala
---
@@ -585,7 +585,7 @@ class TaskManager(
GitHub user casidiablo opened a pull request:
https://github.com/apache/flink/pull/5135
[hotfix] [doc] Fix typo in TaskManager and EnvironmentInformation doc
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/casidiablo/flink
