[ 
https://issues.apache.org/jira/browse/FLINK-7744?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16198564#comment-16198564
 ] 

ASF GitHub Bot commented on FLINK-7744:
---------------------------------------

Github user zentol commented on the issue:

    https://github.com/apache/flink/pull/4756
  
    merging.


> 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)

Reply via email to