You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@flink.apache.org by "ASF GitHub Bot (JIRA)" <ji...@apache.org> on 2017/10/01 17:49:00 UTC
[jira] [Commented] (FLINK-7744) Add missing top links to
documentation
[ https://issues.apache.org/jira/browse/FLINK-7744?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=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 <si...@innogames.com>
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)