GitHub <noreply at github.com>
Greg Colvin <greg at colvin.org>
Update EIP-8173: missing blank line in json Merged by EIP-Bot.
GitHub Diff