[
https://issues.apache.org/jira/browse/FLINK-7744?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16194963#comment-16194963
]
ASF GitHub Bot commented on FLINK-7744:
---------------------------------------
Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/4756
Good from my side.
Since I am not very opinionated about docs/navigation, would be good to
have a second opinion.
@alpinegizmo what do you think?
> Add missing top links to documentation
> --------------------------------------
>
> Key: FLINK-7744
> URL: https://issues.apache.org/jira/browse/FLINK-7744
> Project: Flink
> Issue Type: Improvement
> Components: Documentation
> Reporter: Sirko B
> Priority: Minor
>
> The links to the top of the page are missing on many pages. Those are very
> useful for reading the documentation on mobile.
--
This message was sent by Atlassian JIRA
(v6.4.14#64029)
