chiark / gitweb /
Merge from upstream (copyright tidying; editor updates)
authorBen Harris <bjh21@bjh21.me.uk>
Sun, 13 Oct 2024 16:53:49 +0000 (17:53 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Sun, 13 Oct 2024 16:53:49 +0000 (17:53 +0100)

Trivial merge