On Tue, Jul 09, 2013 at 11:01:30PM +0000, Karl Berry wrote:
> $arg->{'text'} and hence $spec are indeed "10" ...
> If Patrice doesn't get it in the next couple of days, I'll look further.

I think I'll go back to texinfo on the 19 of july...

-- 
Pat

Reply via email to