chiark / gitweb /
hole-repair-20191117: adjustments from email
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Nov 2019 16:11:50 +0000 (16:11 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Nov 2019 16:11:50 +0000 (16:11 +0000)
commit365c56e2ad48e96e04416ea096fbc957799c8930
tree32b16023f8b2319c21745ca484aa9a805b5a8ccb
parent0b973b931dddcb8b9fc99ca061400e2fc8730434
hole-repair-20191117: adjustments from email

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