chiark / gitweb /
config: Fix error reporting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 14:23:07 +0000 (15:23 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 24 Jul 2021 14:23:07 +0000 (15:23 +0100)
commit0fb6c4e0c973cfc3b68362b82d332bb95fe2de6c
treed0d2488b4d32e023d4ba9287ff9ff7a50d72f1e5
parent570d3069f185551e40ecae403db98d2bd9a0e9de
config: Fix error reporting

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