Revision faaadd839b47ee276610ac2c068a9a000c4e0531

Committed on 18/11/2025 4:45 am by mirai <mirai.lucky.dev@gmail.com> [GitHub Diff]

Merge pull request #8 from hmd37/patch-1

Update to modern version of Optional type