On 11/10/2017 03:52 PM, Marc Glisse wrote:
On Sun, 6 Aug 2017, Martin Sebor wrote:+@item nonstring (@var{nonstring})Hello, what is the "(@var{nonstring})" for? This attribute does not seem to take any argument...
It's a copy and paste typo. I removed it in r254659. Thanks for pointing it out. Martin
