Github user zentol commented on the issue:
https://github.com/apache/flink/pull/6212
@lamber-ken This happened because @tillrohrmann modified the commit message
to close the PR, which modified the commit hash.
As such, from GitHubs perspective, the PR was closed without the contained
commit (as identified be the hash) being merged.---
