[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. ---