disabled Github issue tracker Arthur A. Gleckler 23 Jul 2016 21:14 UTC
Re: disabled Github issue tracker Jeremy Steward 23 Jul 2016 21:19 UTC

disabled Github issue tracker Arthur A. Gleckler 23 Jul 2016 21:14 UTC

I've disabled the Github issue tracker for this SRFI.
Please report all issues to this mailing list instead.

I intend to disable Github issue tracking for all SRFIs, but
since there are so many, I want to automate that work first
using the Github API.

Thanks.

SRFI Editor