chiark / gitweb /
progress: Rename Originator (from Reporter)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 May 2021 20:30:42 +0000 (21:30 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 May 2021 20:30:42 +0000 (21:30 +0100)
commit147f42943f40b861c874165589e9f9c8ec563681
tree28e6b77723a2a8027eabe5b7daee64684b981592
parentc9f2d428a8466bc4bb314380f5c5c7f9057f2ed6
progress: Rename Originator (from Reporter)

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