[GitHub] flink pull request #4756: [FLINK-7744][docs] Add missing top links to docume...

2017-10-10 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/4756 ---

[GitHub] flink pull request #4756: [FLINK-7744][docs] Add missing top links to docume...

2017-10-01 Thread OutOfBrain
GitHub user OutOfBrain opened a pull request: https://github.com/apache/flink/pull/4756 [FLINK-7744][docs] Add missing top links to documentation The links to the top of the page are missing on many pages. Those are very useful for reading the documentation on mobile. You can