GitHub <noreply at github.com>
Greg Colvin <greg at colvin.org>
Change status to deferred. Need to delay this long enough be sure this is compatible with Wasm facility, and to bring it up to current formatting standards.
GitHub Diff