Re: Our build system may be broken: /bin vs /usr/bin
> | > … Simon McVittie has actually patched our testing framework to vary
> | > this and this is now live.
> | >
> | > https://bugs.debian.org/901473#33
> Are we sure this is fixed?
It might have taken a while for various build chroots to update so
I would be wary of inferring too much, if anything, by comparing
It would, of course, also take a while to "get around" our somewhat
: :' : Chris Lamb
`. `'` email@example.com / chris-lamb.co.uk