Github user StephanEwen commented on the pull request:
https://github.com/apache/flink/pull/970#issuecomment-131570065
We are indeed falling behind on merging pull requests, right now. Many
committers are on vacation this month, and for the others, the large amount of
pull requests is hard to keep up with, especially next to the work on our own
issues.
Hope this will get better in a week or two.
I'll try to get a look at this very soon...
---
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.
---
