Merge pull request #4897 from WoltLab/user-option-output-null
authorTim Düsterhus <duesterhus@woltlab.com>
Tue, 5 Jul 2022 13:43:23 +0000 (15:43 +0200)
committerGitHub <noreply@github.com>
Tue, 5 Jul 2022 13:43:23 +0000 (15:43 +0200)
Explicitly handle a `null` value in UserOptionOutput


Trivial merge