On 02.07.25 11:43, Colin King (gmail) wrote: > On 02/07/2025 10:42, Robert P. J. Day wrote: >> >> subject has typo, should be "ternary" >> >> rday > > Good catch. Can that be fixed up before applying the patch rather than me sending a V2? Thomas or me can take care of that before pushing. Christian. > > Colin