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