OSDN Git Service

Merge branch 'master' of https://github.com/instantos/instantOS
authorpaperbenni <paperbenni@gmail.com>
Tue, 27 Oct 2020 16:16:23 +0000 (17:16 +0100)
committerpaperbenni <paperbenni@gmail.com>
Tue, 27 Oct 2020 16:16:23 +0000 (17:16 +0100)

Trivial merge