Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/6326
Pushed another commit that rebuilds the generated config docs---
Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/6326
Pushed another commit that rebuilds the generated config docs---