Tweak User-Agent header

It is customary to separate elements with a semicolon.
This commit is contained in:
translatenix
2024-02-20 16:52:13 -08:00
committed by Philip K.F. Hölzenspies
parent 1e50200969
commit 21e0e149ac
@@ -64,7 +64,7 @@ class PackageResolvers {
static { static {
var release = Release.current(); var release = Release.current();
USER_AGENT = "Pkl/" + release.version() + " (" + release.os() + " " + release.flavor() + ")"; USER_AGENT = "Pkl/" + release.version() + " (" + release.os() + "; " + release.flavor() + ")";
} }
@GuardedBy("lock") @GuardedBy("lock")