Merge pull request #420 from paulusmack/master
authorPaul Mackerras <paulus@ozlabs.org>
Tue, 19 Sep 2023 06:22:07 +0000 (16:22 +1000)
committerGitHub <noreply@github.com>
Tue, 19 Sep 2023 06:22:07 +0000 (16:22 +1000)
commitf59485f157a03d3704ab5ec33e22b7126137bfc3
treea0d634572cf381458bc5f60d5004e0a732824151
parent8dc24416aadac93785fba6262fc555c5b283ab4e
parent4bef477e29e9bcbb8558d3d5f4247dfb5cf8cc8c
Merge pull request #420 from paulusmack/master

Various minor improvements