Merge pull request #4258 from WoltLab/userAgent-final
authorJoshua Rüsweg <ruesweg@woltlab.com>
Fri, 4 Jun 2021 12:59:44 +0000 (14:59 +0200)
committerGitHub <noreply@github.com>
Fri, 4 Jun 2021 12:59:44 +0000 (14:59 +0200)
commitf80d6c8e50ef45ad3124a1a5a8279c471352bfc0
tree3f12e8b3691ce503e2b60a494732b37dc70ca833
parent9de684e5a1a10ab18b865caa71f5a0ea482b5285
parentdc07ff4f6ac85cd6ae3cbf3503752c9c5ffc74ea
Merge pull request #4258 from WoltLab/userAgent-final

Mark `\wcf\util\UserAgent` as final