[GitHub] flink issue #4721: [FLINK-6703][savepoint/doc] Document how to take a savepo...
Github user zentol commented on the issue: https://github.com/apache/flink/pull/4721 merging. ---
[GitHub] flink issue #4721: [FLINK-6703][savepoint/doc] Document how to take a savepo...
Github user bowenli86 commented on the issue: https://github.com/apache/flink/pull/4721 cc @zentol ---