Github user tzulitai commented on the issue:
https://github.com/apache/flink/pull/4328
Thanks for that @zhangminglei. However, I've already finished testing a
batch of commits with this fix included, and would like to merge that now.
Sometimes I collect a batch of commits and run them on Travis before merging
(that's why it isn't actually merged yet).
It's safe to leave some final minor cosmetic fix to the person merging the
PR if they mentioned they'll fix it when merging. That'll also avoid duplicate
work and wasted efforts.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
