[GitHub] flink issue #6180: [FLINK-9524][Table API & SQL] check whether a clean-up ti...

2018-06-27 Thread fhueske 
Github user fhueske commented on the issue:

https://github.com/apache/flink/pull/6180
  
Thanks for the update @yzandrew.
Merging


---

[GitHub] flink issue #6180: [FLINK-9524][Table API & SQL] check whether a clean-up ti...

2018-06-25 Thread yzandrew 
Github user yzandrew commented on the issue:

https://github.com/apache/flink/pull/6180
  
Hi,
I have updated the pull request based on your comments. In order to have 
fewer lines of changes, I squashed the commits.  


---