20 Jul
2025
20 Jul
'25
11:01 p.m.
On Sun, Jul 20, 2025 at 6:20 PM Miguel Ojeda miguel.ojeda.sandonis@gmail.com wrote:
On Thu, May 29, 2025 at 3:15 PM Tamir Duberstein tamird@gmail.com wrote:
write!(&mut candidates, " {path:?}").unwrap();I assume this was supposed to be `writeln!`; otherwise, we lose the newlines and the indent does not make much sense.
Duh, yes, that's right.
I will fix it when applying.
Thank you!