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 merge this pull request into a Git repository by running:
$ git pull https://github.com/OutOfBrain/flink master
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/flink/pull/4756.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #4756
----
commit bdbc99f792f673fafc82ac3bda3dd2bb5d497eec
Author: sirko bretschneider <[email protected]>
Date: 2017-10-01T17:44:20Z
[FLINK-7744][docs] Add missing top links to documentation
----
---
