Web lists-archives.com

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@xxxxxxxxxx / chris-lamb.co.uk
       `-