Merge pull request #2491 from zachjs/port-bind-sign
authorwhitequark <whitequark@whitequark.org>
Tue, 22 Dec 2020 01:30:29 +0000 (01:30 +0000)
committerGitHub <noreply@github.com>
Tue, 22 Dec 2020 01:30:29 +0000 (01:30 +0000)
Sign extend port connections where necessary


Trivial merge