On 18-05-2020 19:30, Tom Tromey wrote: >>>>>> "Tom" == Tom de Vries writes: > > Tom> + with_test_prefix intial { > > Probably meant "initial" here. Ack, thanks for noticing. Fixed in committed patch below. - Tom