On 09/28/22 14:37, Laszlo Ersek wrote:

(I'm trying to figure out why the patch set I just posted isn't appearing in my mailbox and in the web archive. Did I mess up the sending, or is the list software having a bad day?)

... the latter; apparently.