[GitHub] flink issue #5187: Merge pull request #1 from apache/master

[tzulitai]

Github user tzulitai commented on the issue:

    https://github.com/apache/flink/pull/5187
  
    This seems like a mistake. @laolang113 can you please close this PR? Thanks!


---