Merge pull request #5525 from WoltLab/time-function-machine
authorMarcel Werk <burntime@woltlab.com>
Thu, 25 May 2023 09:50:24 +0000 (11:50 +0200)
committerGitHub <noreply@github.com>
Thu, 25 May 2023 09:50:24 +0000 (11:50 +0200)
Add `machine` output type to `{time}`


Trivial merge