[GitHub] flink pull request: Small UI css class fix

2015-02-19 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/425 --- 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 enabl

[GitHub] flink pull request: Small UI css class fix

2015-02-19 Thread vasia
Github user vasia commented on the pull request: https://github.com/apache/flink/pull/425#issuecomment-75100102 shouldn't it also be plural for Task Managers (since they're 4 :P) --- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as

[GitHub] flink pull request: Small UI css class fix

2015-02-19 Thread StephanEwen
Github user StephanEwen commented on the pull request: https://github.com/apache/flink/pull/425#issuecomment-75094489 Looks good, thanks, I'll merge it --- 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

[GitHub] flink pull request: Small UI css class fix

2015-02-19 Thread cebe
GitHub user cebe opened a pull request: https://github.com/apache/flink/pull/425 Small UI css class fix Height of information bullets was not equal due to text break. before: ![bildschirmfoto vom 2015-02-19 17 54 30](https://cloud.githubusercontent.com/assets/18979