Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/6019
Yes, the only reason I did not start with this is that I first wanted to
wait for the completion and merge of the RocksDB timer service to have a
complete picture.---
