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

[razvan100]

Github user razvan100 commented on the issue:

    https://github.com/apache/flink/pull/4809
  
    Okay, so if you account for it in the review then I don't need to make 
another empty commit. Thanks!


---