From: Joshua Rüsweg Date: Fri, 4 Jun 2021 12:59:44 +0000 (+0200) Subject: Merge pull request #4258 from WoltLab/userAgent-final X-Git-Tag: 5.4.0_Beta_2~31 X-Git-Url: https://git.stricted.de/?a=commitdiff_plain;h=f80d6c8e50ef45ad3124a1a5a8279c471352bfc0;p=GitHub%2FWoltLab%2FWCF.git Merge pull request #4258 from WoltLab/userAgent-final Mark `\wcf\util\UserAgent` as final --- f80d6c8e50ef45ad3124a1a5a8279c471352bfc0