[GitHub] flink pull request: minor javadoc fix in JobManager

2015-11-17 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/1358 --- 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 enab

[GitHub] flink pull request: minor javadoc fix in JobManager

2015-11-17 Thread StephanEwen
Github user StephanEwen commented on the pull request: https://github.com/apache/flink/pull/1358#issuecomment-157343250 Will merge this... --- 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

[GitHub] flink pull request: minor javadoc fix in JobManager

2015-11-16 Thread jaoki
Github user jaoki commented on the pull request: https://github.com/apache/flink/pull/1358#issuecomment-157143864 @mxm for sure will send to the community once it is done. --- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as well. I

[GitHub] flink pull request: minor javadoc fix in JobManager

2015-11-16 Thread mxm
Github user mxm commented on the pull request: https://github.com/apache/flink/pull/1358#issuecomment-157126156 Yes, that's correct. Nice diagram :) Could you post it to the mailing list when you're finished? Thank you! --- If your project is set up for it, you can reply to this emai