From: Paul Mackerras <paulus@ozlabs.org>
Date: Tue, 19 Sep 2023 06:22:07 +0000 (+1000)
Subject: Merge pull request #420 from paulusmack/master
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f59485f157a03d3704ab5ec33e22b7126137bfc3;p=microwatt.git

Merge pull request #420 from paulusmack/master

Various minor improvements
---

f59485f157a03d3704ab5ec33e22b7126137bfc3