On 02/16/2015 09:14 AM, Michael Tautschnig wrote:
Would it be possible to blacklist cbmc on the host chumley?
^^^^^^^
Looks like Christian hasn't fixed his buildd configuration and
make sure the name used here is actually "crest" and not
"chumley" :).
Adrian
--
.''`. John Paul Adrian Glaubitz
: :' : Debian Developer - [email protected]
`. `' Freie Universitaet Berlin - [email protected]
`- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: https://lists.debian.org/[email protected]
