Never mind, I see this was already pulled. I didn't see a message from the the pr-tracking-bot, but that was my fault, because I had forgotten to Cc linux-kernel. So I guess the resend's useful for the purposes of indicating the putting the PULL on the record. Apologies for the noise. - Ted