OSDN Git Service

Merge branch 'master' of https://github.com/instantOS/instantOS
authorpaperbenni <paperbenni@gmail.com>
Wed, 15 Apr 2020 09:36:57 +0000 (11:36 +0200)
committerpaperbenni <paperbenni@gmail.com>
Wed, 15 Apr 2020 09:36:57 +0000 (11:36 +0200)

Trivial merge