... I've been browsing through our jira. I spotted these tickets that probably need update:
-------- https://issues.apache.org/jira/browse/GEARPUMP-282 pull request merged (https://github.com/apache/incubator-gearpump/pull/160) @huafang: should we close this? ------------ https://issues.apache.org/jira/browse/GEARPUMP-192 @manu: It looks like we could close the issue. The PR has been merged. ---------- https://issues.apache.org/jira/browse/GEARPUMP-268 Use java.time.Instant instead of Long for timestamps @manu: pull request merged, should we close? --------- https://issues.apache.org/jira/browse/GEARPUMP-23 Add DSL window (time series) support @manu: pull request merged, should we close? ------------- https://issues.apache.org/jira/browse/GEARPUMP-213 https://github.com/apache/incubator-gearpump/pull/140 @manu: pull request merged, should we close? Could you guys take a look at them and update accordingly? (fix version 0.8.3, resolved, fixed) Regards, Karol
