Github user clarkyzl commented on a diff in the pull request:
https://github.com/apache/flink/pull/3495#discussion_r105077753
--- Diff:
flink-core/src/main/java/org/apache/flink/configuration/ConfigOption.java ---
@@ -137,6 +153,26 @@ public boolean hasDeprecatedKeys() {
GitHub user dawidwys opened a pull request:
https://github.com/apache/flink/pull/3495
[FLINK-5781] Generation HTML from ConfigOption
Thanks for contributing to Apache Flink. Before you open your pull request,
please take the following check list into consideration.
If your