[GitHub] flink issue #4809: [FLINK-7803][Documentation] Add missing savepoint informa...

[zentol]

Github user zentol commented on the issue:

    https://github.com/apache/flink/pull/4809
  
    will merge this while addressing the comments


---