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`?---