On Thu, Aug 5, 2021 at 8:43 AM Jakub Kicinski <kuba@xxxxxxxxxx> wrote:
Small PR this week, maybe it's cucumber time, maybe just bad
timing vs subtree PRs, maybe both.
"Cucumber time"?
Google informs me about this concept, but I'd never heard that term before.