mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-28 02:21:12 +00:00
ui.progress_output() doesn't borrow anything from &Ui, and there would be no reason to extend the borrow. Write ops on Ui don't require mutable instance.