flink-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From tillrohrmann <...@git.apache.org>
Subject [GitHub] flink issue #4596: [FLINK-7523] Add proper resource shutdown to ResourceMana...
Date Tue, 05 Sep 2017 10:35:11 GMT
Github user tillrohrmann commented on the issue:

    https://github.com/apache/flink/pull/4596
  
    Travis passed. Merging this PR.


---

Mime
View raw message