OSDN Git Service

Merge pull request #3742 from Hourier/Remove-HasValue-2
authorHourier <66951241+Hourier@users.noreply.github.com>
Mon, 20 Nov 2023 12:02:16 +0000 (21:02 +0900)
committerGitHub <noreply@github.com>
Mon, 20 Nov 2023 12:02:16 +0000 (21:02 +0900)
optional::value() を*optional へ差し替えた その2


Trivial merge