Github user twalthr commented on the issue:

    https://github.com/apache/flink/pull/5608
  
    Yes, I agree that division is a special in this case. Thank you @Xpray. The 
changes look good. Will merge...


---

Reply via email to