[GitHub] flink pull request #5390: [FLINK-8475][config][docs] Integrate SlotManager o...
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/5390 ---
[GitHub] flink pull request #5390: [FLINK-8475][config][docs] Integrate SlotManager o...
GitHub user zentol opened a pull request: https://github.com/apache/flink/pull/5390 [FLINK-8475][config][docs] Integrate SlotManager options ## What is the purpose of the change This PR integrates the SlotManager `ConfigOptions` into the configuration docs generator.