[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. ---