> On Apr 16, 2016, at 6:44 PM, Michael Catanzaro <[email protected]> wrote: > > a wiki admin will have to clean this up
I don’t think I’m an admin, but I was able to delete the pages. > (and ban the user). I don’t know how to do that. — Darin _______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
