> On 10 Jul 2019, at 17:07, Simon Marchi wrote: > > On 2019-07-10 9:52 a.m., Alan Hayward wrote: >> Should probably read “called the once for each target description type”. But, >> removed due to comments below. > > But shouldn't it be "called once" instead of "called the once", or it's really a valid > locution? I have never heard that, and Googling "called the once" finds nothing of > interest. > > Simon Yes, you’re correct. I didn’t spot what you meant the first time. Alan.&j!z޶מ߹b֫rnr