OSDN Git Service

Merge branch 'master' of https://github.com/instantos/instantARCH into master
authorpaperbenni <paperbenni@gmail.com>
Thu, 17 Sep 2020 17:20:36 +0000 (19:20 +0200)
committerpaperbenni <paperbenni@gmail.com>
Thu, 17 Sep 2020 17:20:36 +0000 (19:20 +0200)

Trivial merge