[GitHub] flink issue #4847: [hotfix][doc]CEP docs review to remove weasel words, fix ...

[StephanEwen]

Github user StephanEwen commented on the issue:

    https://github.com/apache/flink/pull/4847
  
    Merged in 51e526f88e460c9c8b936368714af9f15daf7fa6
    
    I think the Apache / Github integration will not automatically close this 
PR (auto closing works only PRs 
    against the `master` branch).
    
    Can you manually close this PR?


---