misc/jive deleted

[Mikhail T.]

On 22.10.2016 Mark Linimon wrote:
> It's not delusions of moral superiority.  It's common decency.

If it was "decent" in 1997, when obrien added it, it must still be 
decent today, only 19 years later. Nothing has changed about "decency" 
since then.

> juvenile junk that makes them look like a bunch of out-of-touch clueless old white guys

Somebody got his metaphors mixed up -- if it is "juvenile", then "old 
guys" (of any color) just does not ring true.

On 23.10.2016 12:03, Kurt Jaeger wrote:
> So, lets get back to technical stuff 8-}

Technically, the only reason to remove a port is due to a failure to 
build -- and that hasn't happened. Therefore, the removal was in error, 
which should be rectified.

    -mi