[GitHub] flink issue #5135: [hotfix] [doc] Fix typo in TaskManager and EnvironmentInf...

[tzulitai]

Github user tzulitai commented on the issue:

    https://github.com/apache/flink/pull/5135
  
    Thanks! LGTM.
    Merging this ...


---