[jira] [Commented] (FLINK-7744) Add missing top links to documentation

[ASF GitHub Bot (JIRA)]

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

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

Github user asfgit closed the pull request at:

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


> 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
> Fix For: 1.4.0
>
>
> 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)

[jira] [Commented] (FLINK-7744) Add missing top links to documentation

[ASF GitHub Bot (JIRA)]

[ 
https://issues.apache.org/jira/browse/FLINK-7744?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=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)

[jira] [Commented] (FLINK-7744) Add missing top links to documentation

[ASF GitHub Bot (JIRA)]

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

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

Github user alpinegizmo commented on the issue:

https://github.com/apache/flink/pull/4756
  
Yes, looks good to me. +1


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

[jira] [Commented] (FLINK-7744) Add missing top links to documentation

[ASF GitHub Bot (JIRA)]

[ 
https://issues.apache.org/jira/browse/FLINK-7744?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=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)

[jira] [Commented] (FLINK-7744) Add missing top links to documentation

[ASF GitHub Bot (JIRA)]

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

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

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 
Date:   2017-10-01T17:44:20Z

[FLINK-7744][docs] Add missing top links to documentation




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