[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
  
    @razvan100 I've merged the PR, could you close it?


---