On 10.09.24 15:42, Danilo Krummrich wrote: > On Tue, Sep 10, 2024 at 01:26:34PM +0000, Benno Lossin wrote: >> On 04.09.24 14:57, Miguel Ojeda wrote: >>> On Wed, Sep 4, 2024 at 2:51 PM Benno Lossin <benno.lossin@xxxxxxxxx> wrote: >>>> >>>> I forgot the reason for not using it, does anyone remember? >>> >>> One of the reasons argued was that `mod.rs` is the same name >>> everywhere, and thus it is hard to notice the difference in some >>> editors and may be harder to "jump into" in history/tabs/etc. >> >> I don't usually open more than 2-4 files anyways, so it's not an issue >> for me. But of course people's workflow is different, does anyone have a >> problem with switching to `mod.rs`? > > I'm also not against it. I'd appreciate if a potential change doesn't interfere > with this series too much though. :-) Sure, we can do it after the series. --- Cheers, Benno
