On Thu, 5 Aug 2021 12:34:17 -0700 Randy Dunlap wrote:
On 8/5/21 12:30 PM, Linus Torvalds wrote:
quoted
On Thu, Aug 5, 2021 at 8:43 AM Jakub Kicinski [off-list ref] wrote:
quoted
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.
wow, nor had I.
Thanks for the info. :)
Oops, I thought it was pan-European term, guess not.
For the record I meant peak vacation time when not much
is happening because beach beats work.