Re: Our build system may be broken: /bin vs /usr/bin
Hi Dirk,
> | > … 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
timestamps.
It would, of course, also take a while to "get around" our somewhat
expansive archive...
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` lamby@debian.org / chris-lamb.co.uk
`-
Reply to: