You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@flink.apache.org by OutOfBrain <gi...@git.apache.org> on 2017/10/01 17:48:07 UTC

[GitHub] flink pull request #4756: [FLINK-7744][docs] Add missing top links to docume...

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

----


---

[GitHub] flink pull request #4756: [FLINK-7744][docs] Add missing top links to docume...

Posted by asfgit <gi...@git.apache.org>.

Github user asfgit closed the pull request at:

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


---

[GitHub] flink issue #4756: [FLINK-7744][docs] Add missing top links to documentation

Posted by alpinegizmo <gi...@git.apache.org>.

Github user alpinegizmo commented on the issue:

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


---

[GitHub] flink issue #4756: [FLINK-7744][docs] Add missing top links to documentation

Posted by zentol <gi...@git.apache.org>.

Github user zentol commented on the issue:

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


---

[GitHub] flink issue #4756: [FLINK-7744][docs] Add missing top links to documentation

Posted by StephanEwen <gi...@git.apache.org>.

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?


---