OSDN Git Service

Merge pull request #3734 from Hourier/Remove-HasValue-1
authorHourier <66951241+Hourier@users.noreply.github.com>
Sat, 18 Nov 2023 10:28:51 +0000 (19:28 +0900)
committerGitHub <noreply@github.com>
Sat, 18 Nov 2023 10:28:51 +0000 (19:28 +0900)
optional::value() を*optional へ差し替えた その1


Trivial merge