On Tue, Oct 14, 2014 at 12:50 PM, Allan McRae <[email protected]> wrote: > Given it is a binary source, I see no real advantage to adding it to the > repositories.
Yep, me neither. In fact I'd like to drop any binary source from our repositories... -- Andrea

