Github user greghogan commented on the issue: https://github.com/apache/flink/pull/5157 @joerg84 could you file a PR for this change in `docs/ops/config.md` and elsewhere in `docs/ops/deployment/mesos.md`?
---
Github user greghogan commented on the issue: https://github.com/apache/flink/pull/5157 @joerg84 could you file a PR for this change in `docs/ops/config.md` and elsewhere in `docs/ops/deployment/mesos.md`?
---