OSDN Git Service

Merge branch 'master' of https://github.com/instantos/instantOS into master
authorpaperbenni <paperbenni@gmail.com>
Wed, 21 Oct 2020 15:01:41 +0000 (17:01 +0200)
committerpaperbenni <paperbenni@gmail.com>
Wed, 21 Oct 2020 15:01:41 +0000 (17:01 +0200)

Trivial merge