chiark / gitweb /
Merge branch 'service-file' into 'main'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 14 Nov 2025 19:39:18 +0000 (19:39 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 14 Nov 2025 19:39:18 +0000 (19:39 +0000)
commitca13f72f65f4dfb690c8e9aec9a32ea054e0adf4
treeda609ecd8de175a479d01c3cd6bf2d0413e43dd0
parenta487ee790f779de1d50a09d8aa3b34737d39fee9
parentb160c2a66093749fd1e71910aabbb6e748978fd0
Merge branch 'service-file' into 'main'

Incorporate changes from Ben Harris

See merge request iwj/userv!2