OSDN Git Service

Merge pull request #42292 (amotoki/jm/texinfo into master).
authorAkihiro Motoki <amotoki@users.osdn.me>
Mon, 17 May 2021 06:55:33 +0000 (15:55 +0900)
committerAkihiro Motoki <amotoki@users.osdn.me>
Mon, 17 May 2021 06:55:33 +0000 (15:55 +0900)

Trivial merge