[GitHub] flink pull request: [FLINK-2934] Remove placeholder pages for job....

2015-10-29 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/1307 --- 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

[GitHub] flink pull request: [FLINK-2934] Remove placeholder pages for job....

2015-10-29 Thread fhueske
Github user fhueske commented on the pull request: https://github.com/apache/flink/pull/1307#issuecomment-152131748 OK, will merge this PR. --- 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

[GitHub] flink pull request: [FLINK-2934] Remove placeholder pages for job....

2015-10-28 Thread mxm
Github user mxm commented on the pull request: https://github.com/apache/flink/pull/1307#issuecomment-151841903 Thanks! Looks good. --- 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: [FLINK-2934] Remove placeholder pages for job....

2015-10-28 Thread sachingoel0101
GitHub user sachingoel0101 opened a pull request: https://github.com/apache/flink/pull/1307 [FLINK-2934] Remove placeholder pages for job.statistics, taskmanager.log and taskmanager.stdout You can merge this pull request into a Git repository by running: $ git pull