On 8/10/23 09:43, Richard Henderson wrote:
On 8/10/23 09:35, Alex Bennée wrote:So 7 and 8? I would argue for 6 as well given that's a foot gun just waiting to happen.Yes, the timing issues with 6 are nasty.
I'm going to queue 6-8 to tcg-next, along with the %x change Phil suggested for logging non-ASCII characters.
r~
