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