]> git.donarmstrong.com Git - debbugs.git/commitdiff
do not use HRI in arch selection
authorDon Armstrong <don@donarmstrong.com>
Tue, 8 Aug 2017 15:05:36 +0000 (08:05 -0700)
committerDon Armstrong <don@donarmstrong.com>
Tue, 8 Aug 2017 15:05:36 +0000 (08:05 -0700)

No differences found