On Thu, Dec 27, 2018 at 09:09:43PM +0000, Victor Lazzarini wrote:
> Thanks. Please use the manual tracker
> 

Not sure what that would be(?).  I've added an Issue to the
manual section on GitHub.  (Hope it reads OK.  My usual
browser now seems to have its own "GitHub Issues!)

	-- Pete --

Csound mailing list
Csound@listserv.heanet.ie
https://listserv.heanet.ie/cgi-bin/wa?A0=CSOUND
Send bugs reports to
        https://github.com/csound/csound/issues
Discussions of bugs and features can be posted here