On Tue, Jul 30, 2019 at 6:10 PM Levi Morrison <morrison.l...@gmail.com> wrote:
> On Mon, Jul 29, 2019, 10:55 PM Zeev Suraski <z...@zend.com> 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
