From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 14 Nov 2025 19:39:18 +0000 (+0000)
Subject: Merge branch 'service-file' into 'main'
X-Git-Tag: userv-1.2.3~1
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=ca13f72f65f4dfb690c8e9aec9a32ea054e0adf4;p=userv.git

Merge branch 'service-file' into 'main'

Incorporate changes from Ben Harris

See merge request iwj/userv!2
---

ca13f72f65f4dfb690c8e9aec9a32ea054e0adf4