[GitHub] [flink] winitzki commented on issue #9397: [FLINK-13658] [API / DataStream] Combine two triggers into one

2019-08-09 Thread GitBox
winitzki commented on issue #9397: [FLINK-13658] [API / DataStream] Combine two triggers into one URL: https://github.com/apache/flink/pull/9397#issuecomment-520089406 Linked to https://issues.apache.org/jira/browse/FLINK-13658

[GitHub] [flink] winitzki commented on issue #9397: [FLINK-13658] [API / DataStream] Combine two triggers into one

2019-08-08 Thread GitBox
winitzki commented on issue #9397: [FLINK-13658] [API / DataStream] Combine two triggers into one URL: https://github.com/apache/flink/pull/9397#issuecomment-519711728 The CI error is `21:38:13.853 [ERROR] Failed to execute goal org.apache.rat:apache-rat-plugin:0.12:check (default) on