On Tue, Jan 2, 2024 at 02:54 PM, Alex Kiernan wrote:
Closing this off - for whatever reason the buildpaths check wasn'tgetting run when I was testing stuff, so what I thought was a fix,wasn't.