[GitHub] flink issue #6219: [hotfix] Fixed typo in docs

2018-07-01 Thread elbaulp 
Github user elbaulp commented on the issue:

https://github.com/apache/flink/pull/6219
  
@tillrohrmann You're welcome :-)


---

[GitHub] flink issue #6219: [hotfix] Fixed typo in docs

2018-06-30 Thread tillrohrmann 
Github user tillrohrmann commented on the issue:

https://github.com/apache/flink/pull/6219
  
Thanks for fixing the typo @elbaulp. Merging this PR.


---