[GitHub] flink pull request: Merge pull request #1 from apache/master

2015-05-27 Thread pp86
GitHub user pp86 reopened a pull request: https://github.com/apache/flink/pull/737 Merge pull request #1 from apache/master test update You can merge this pull request into a Git repository by running: $ git pull https://github.com/pp86/flink master Alternatively you can revie

[GitHub] flink pull request: Merge pull request #1 from apache/master

2015-05-27 Thread pp86
Github user pp86 closed the pull request at: https://github.com/apache/flink/pull/737 --- 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

[GitHub] flink pull request: Merge pull request #1 from apache/master

2015-05-27 Thread pp86
Github user pp86 closed the pull request at: https://github.com/apache/flink/pull/737 --- 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

[GitHub] flink pull request: Merge pull request #1 from apache/master

2015-05-27 Thread pp86
GitHub user pp86 opened a pull request: https://github.com/apache/flink/pull/737 Merge pull request #1 from apache/master test update You can merge this pull request into a Git repository by running: $ git pull https://github.com/pp86/flink master Alternatively you can review

[GitHub] flink pull request: Merge pull request #1 from apache/master

2015-03-17 Thread matadorhong
Github user matadorhong closed the pull request at: https://github.com/apache/flink/pull/495 --- 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: Merge pull request #1 from apache/master

2015-03-17 Thread matadorhong
GitHub user matadorhong opened a pull request: https://github.com/apache/flink/pull/495 Merge pull request #1 from apache/master update You can merge this pull request into a Git repository by running: $ git pull https://github.com/matadorhong/flink master Alternatively you ca