pete opened a pull request in inferno-os/inferno-os
Multiple small fixes
#16
This is a bundle of small patches I have been running locally for years, and I believe they're reasonable to submit upstream. So as not to inundate…
+48
-10