GitHub user casidiablo opened a pull request:
https://github.com/apache/flink/pull/5051
[hotfix] [javadocs] Fixed typo in Trigger doc
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/casidiablo/flink patch-1
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/flink/pull/5051.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 #5051
----
commit ac3a85118fea3ce7f56b73bd0ab9aeeb315fc828
Author: Cristian <me@cristian.io>
Date: 2017-11-22T12:17:39Z
Fixed typo in Trigger doc
----
---