Merge pull request #576 from froydnj/config-updates
authorTom Tromey <tom@tromey.com>
Tue, 4 Aug 2020 17:08:19 +0000 (11:08 -0600)
committerGitHub <noreply@github.com>
Tue, 4 Aug 2020 17:08:19 +0000 (11:08 -0600)
update config.{guess,sub}


Trivial merge