chiark / gitweb /
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)
commitaede842e39156095642ea3795f833dbd6d933eb4
tree28d2a185df8d5895faa5cf3073b229e8e9e2db7a
parentbb4c547699bb47d76172d69d3a299b5e6550b944
parentcaca0a757857d247a079caca0aec6253d1e2c5d1
Merge remote-tracking branch 'origin/main' into main

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>