OSDN Git Service

Merge branch 'master' of https://github.com/instantos/instantARCH
authorpaperbenni <paperbenni@gmail.com>
Mon, 6 Jul 2020 15:37:15 +0000 (17:37 +0200)
committerpaperbenni <paperbenni@gmail.com>
Mon, 6 Jul 2020 15:37:15 +0000 (17:37 +0200)

Trivial merge