OSDN Git Service

Merge branch 'add_ci_github' into php80
authorwithgod <noname@withgod.jp>
Thu, 3 Dec 2020 11:38:01 +0000 (20:38 +0900)
committerwithgod <noname@withgod.jp>
Thu, 3 Dec 2020 11:38:01 +0000 (20:38 +0900)

Trivial merge