GitHub <noreply at github.com>
Greg Colvin <greg at colvin.org>
no external links (#5595) * no external links * correct code
GitHub Diff