On Tue, May 28, 2019 at 04:02:17PM +0100, john wrote:
> Now fixed n github devekop branch.  Mea culpa.
> 
Thanks!

	-- 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