On Tue, Jul 30, 2019 at 6:10 PM Levi Morrison <[email protected]> wrote:
> On Mon, Jul 29, 2019, 10:55 PM Zeev Suraski <[email protected]> wrote: > > I think ignoring people is totally acceptable behaviour on this list. May I > remind you that in the not distant past this list was called a toxic > kindergarten and other similar names by former and current contributors? > Simce we have little policy on ejecting toxic contributors, ignoring people > is the only way to keep sanity. It is not acceptable, period. If we need to pull rank with group@ here, we will. Zeev
