]> git.lizzy.rs Git - plan9front.git/commitdiff
merge
authoraiju <devnull@localhost>
Thu, 24 May 2018 12:41:08 +0000 (13:41 +0100)
committeraiju <devnull@localhost>
Thu, 24 May 2018 12:41:08 +0000 (13:41 +0100)

Trivial merge