chiark / gitweb /
config: fix some reporting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 18:01:41 +0000 (19:01 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 18:01:41 +0000 (19:01 +0100)
commitd31bbeae2120db778ae4e1784cb0cc64bf64e305
tree9b3a997d9c48835011c748fa407828617a11a12f
parent614cae1d35d7f5dee9597526b1a52ba6632d3eff
config: fix some reporting

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