TimeLimitedCollector -> TimeLimitCollector#4

jordimas wants to merge 1 commit intomchaput:mastermchaput/whoosh:masterfrom

jordimas:masterjordimas/whoosh:masterCopy head branch name to clipboard