On Sat, 8 Jan 2022, Alistair Crooks wrote:
Count me in as well - the name completion collision has always annoyed me.
+2 :-)
++--+--+
| Paul Goyette | PGP Key fingerprint: | E-mail addresses:|
| (Retired)
On Sat, 8 Jan 2022 at 00:29, matthew green wrote:
> > I propose that we deprecate or remove the "extsrc/" tree,
> > as the name name-complete conflicts with "external/".
>
> yes, please.
>
>
Count me in as well - the name completion collision has always annoyed me.
Thanks,
Al
> I propose that we deprecate or remove the "extsrc/" tree,
> as the name name-complete conflicts with "external/".
yes, please.
.mrg.
