[GitHub] flink issue #4786: [FLINK-7388][DataStream API] ProcessFunction.onTimer() se...

[aljoscha]

Github user aljoscha commented on the issue:

    https://github.com/apache/flink/pull/4786
  
    @fhueske is this what you had in mind?


---