Github user asfgit closed the pull request at:
https://github.com/apache/flink/pull/5392
---
Github user zentol commented on a diff in the pull request:
https://github.com/apache/flink/pull/5392#discussion_r167596687
--- Diff: docs/ops/config.md ---
@@ -322,7 +321,6 @@ The following parameters configure Flink's JobManager
and TaskManagers.
-
Github user aljoscha commented on a diff in the pull request:
https://github.com/apache/flink/pull/5392#discussion_r167594880
--- Diff: docs/ops/config.md ---
@@ -322,7 +321,6 @@ The following parameters configure Flink's JobManager
and TaskManagers.
-
GitHub user zentol opened a pull request:
https://github.com/apache/flink/pull/5392
[FLINK-8475][config][docs] Integrate JM options
## What is the purpose of the change
This PR integrates the JobManager `ConfigOptions` into the configuration
docs generator.
##
