projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: aa4e4e7 f40842d)
Merge pull request #313 from paulusmack/fixes
authorMichael Neuling <mikey@neuling.org>
Wed, 11 Aug 2021 06:25:35 +0000 (16:25 +1000)
committerGitHub <noreply@github.com>
Wed, 11 Aug 2021 06:25:35 +0000 (16:25 +1000)
Fix bug causing FP unavailable interrupts to be missed


Trivial merge