Re: texinfo documentation? bug

Wed, 19 Nov 2014 14:43:22 -0800 

Agreed, I'll make a change along these lines.  Thanks.

k

Reply via email to