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

2017-10-10 Thread zentol 
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

2017-10-07 Thread alpinegizmo 
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

2017-10-06 Thread StephanEwen 
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?


---