Merge pull request #182 from mikey/travis
authorPaul Mackerras <paulus@ozlabs.org>
Fri, 5 Jun 2020 08:02:33 +0000 (18:02 +1000)
committerGitHub <noreply@github.com>
Fri, 5 Jun 2020 08:02:33 +0000 (18:02 +1000)
commitcff40237c79f95f354b48076fdc2f008c32304be
treea7e2ff247fbe7e0b3d09c96b84a994bfd856634b
parentb863791e38e3ff252a4867bb6c0a16a278a0c29c
parenta740c4b7af6b25301fbe036ab92417d57fb4277d
Merge pull request #182 from mikey/travis

Travis and testing improvements