projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3c9b3c3 dc6a4b1)
Merge pull request #390 from shenki/fix-whide-warnings
authorMichael Neuling <mikey@neuling.org>
Tue, 9 Aug 2022 06:23:37 +0000 (16:23 +1000)
committerGitHub <noreply@github.com>
Tue, 9 Aug 2022 06:23:37 +0000 (16:23 +1000)
Fix -Whide warnings


Trivial merge