Re: New draft (#9) of SRFI 181: Custom ports (including transcoded ports)

Show/hide message thread

New draft (#9) of SRFI 181: Custom ports (including transcoded ports) Arthur A. Gleckler (28 Aug 2020 20:08 UTC)

Re: New draft (#9) of SRFI 181: Custom ports (including transcoded ports) Shiro Kawai (28 Aug 2020 22:22 UTC)

Re: New draft (#9) of SRFI 181: Custom ports (including transcoded ports) Shiro Kawai 28 Aug 2020 22:22 UTC