On Mon, May 11, 2020 at 03:31:41PM +0200, Phil Sutter wrote: > Expired intervals would still match and be dumped to user space until > garbage collection wiped them out. Make sure they stop matching and > disappear (from users' perspective) as soon as they expire. Applied, thanks.
