Merge pull request #421 from paulusmack/fixes
authorPaul Mackerras <paulus@ozlabs.org>
Tue, 19 Sep 2023 06:21:34 +0000 (16:21 +1000)
committerGitHub <noreply@github.com>
Tue, 19 Sep 2023 06:21:34 +0000 (16:21 +1000)
Fix instruction logging


Trivial merge