chiark / gitweb /
~ian / z3-treefoil / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bb4c547 caca0a7)
Merge remote-tracking branch 'origin/main' into main
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 29 Oct 2022 21:07:03 +0000 (22:07 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 29 Oct 2022 21:07:19 +0000 (22:07 +0100)
Rewrote the branch to add appropriate s-o-b and then merged to make ff.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.