I don't know when they're going to appear, if at all (I'm not sure if
the machine that they're published from is routing email any more) so
this is a quick note to say that I've just published three TIPs:
TIP#423: Formatting Timestamps with Milliseconds
TIP#424: Improving [exec]
TIP#425: Internationalization of Default Panic Proc Callback on Windows
Apologies for how long some of these have been displayed...