[GitHub] flink pull request #5144: [Minor][cleanup] Remove unnecessary semicolons

[yew1eb]

Github user yew1eb closed the pull request at:

    https://github.com/apache/flink/pull/5144


---