Github user vasia commented on the pull request:

    https://github.com/apache/flink/pull/1105#issuecomment-142635727
  
    Hi @andralungu,
    
    if you're not planning to continue on this PR, then I believe you should 
close it. However, you might want to keep your local branch, in case someone 
else wants to pick up where you left.
    
    This is not an urgent issue, it's a nice-to-have feature, so you can come 
back to it later :)
    If you think that it might take too much time, then it might also be a good 
idea to un-assign the JIRA.
    
    Thanks!


---
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.
---

Reply via email to