[GitHub] flink pull request: updated to Flink v0.10.1

2015-12-09 Thread romeokienzler
Github user romeokienzler commented on a diff in the pull request: https://github.com/apache/flink/pull/1443#discussion_r47052396 --- Diff: flink-contrib/docker-flink/flink/Dockerfile --- @@ -25,8 +25,8 @@ RUN cat ~/.ssh/id_rsa.pub >> ~/.ssh/authorized_keys && ch

[GitHub] flink pull request: updated to Flink v0.10.1

2015-12-08 Thread romeokienzler
GitHub user romeokienzler opened a pull request: https://github.com/apache/flink/pull/1443 updated to Flink v0.10.1 updated to Flink v0.10.1 and tested if the web front-end comes up You can merge this pull request into a Git repository by running: $ git pull https://github.com