Github user ChrisChinchilla commented on the issue:
https://github.com/apache/flink/pull/5023
@greghogan Will start this PR afresh.
---
Github user greghogan commented on the issue:
https://github.com/apache/flink/pull/5023
@ChrisChinchilla I think you want to `git rebase origin/master` (or
whatever you have named upstream). Did you do a merge instead?
---
Github user ChrisChinchilla commented on the issue:
https://github.com/apache/flink/pull/5023
Hmm, not sure what happened to the commit history there. Let me know if you
like my changes but need something cleaner and I'd try and do some git magicâ¦
---
