chiark / gitweb /
~webstump / modbot-mtm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2ef67fd e9cbeb6)
Merge branch 'master' of /u/webstump/live/ master
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 6 Jul 2022 14:02:25 +0000 (15:02 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 6 Jul 2022 14:02:25 +0000 (15:02 +0100)

Trivial merge
Unnamed repository; edit this file to name it for gitweb.