On Fri, 23 Dec 2011, Joseph S. Myers wrote: > It appears that using @set txicodequoteundirected and @set > txicodequotebacktick would be the way to avoid this confusion, though it > would require Texinfo 4.11 or later.
... and I see the patch does just that - sorry, I missed that on first reading of the patch. -- Joseph S. Myers [email protected]
