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)
commit5650d2f8985daf1839af4ab46ba7dbe779b43fed
tree21ba057b12a0e39ee82cd4e34d12507c7bef12c4
parente5f13c395e47558fbc7306ad55cce2cdcb86a4e4
parent2f256efa9b0b7012c05bdf606583aa5e6c2c7747
Merge pull request #5525 from WoltLab/time-function-machine

Add `machine` output type to `{time}`