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

[fhueske]

Github user fhueske commented on the issue:

    https://github.com/apache/flink/pull/4786
  
    Yes, I think this behavior would be better.
    Thanks, Fabian


---