OSDN Git Service

Merge branch 'dev' into no-haveged
authorhayao <hayao@fascode.net>
Sat, 17 Jul 2021 00:51:25 +0000 (09:51 +0900)
committerhayao <hayao@fascode.net>
Sat, 17 Jul 2021 00:51:25 +0000 (09:51 +0900)

Trivial merge