For reasons I have not yet sussed out, I seem to have lost a few hours worth of incoming mail. (It’s the sort of thing that happens when the home directory partition on my server is full, but it wasn’t.) So in the unlikely event that you sent me mail between about 2:00am and 9:00am today, I didn’t get it. The problem, whatever it was, resolved itself without my intervention.

I’m going to look through my logs and see if I can suss out what happened, but I won’t have a chance to do that for a couple hours, so I thought I’d give people the heads-up.

[EDIT: OK, I found all the mail (slightly garbled), and there was nothing important.]