Github user tzulitai commented on the issue:
https://github.com/apache/flink/pull/5955
@kl0u yes, lets do that as a separate commit then.
+1, this looks good to me.
One final comment for the merge:
When merging to `master`, we should have test savepoints for both `1.5`
(taken in the release-1.5 branch), and `1.6` (taken in the current `master`)
branch.---
