11 Mar
2024
11 Mar
'24
9:10 p.m.
On Mon Mar 11 21:07:31 2024 +0000, Matteo Bruni wrote:
I guess we could also get rid of (or reword) this comment, since we're now matching native and its "interesting" include paths.
It looks like we aren't, actually. I think I want to improve these comments anyway, but that's something for a different patch.