I couldn't google anything about it working for some people and not others.
> On Nov 19, 2024, at 12:56 AM, Pierre Jolivet <pie...@joliv.et> wrote: > > I’m not sure why but I cannot, see screenshots (PETSc server where waving is > disabled for me vs. another server where it isn’t). > > Thanks, > Pierre > > <petsc.png><not_petsc.png> > >> On 19 Nov 2024, at 12:46 AM, Barry Smith <bsm...@petsc.dev> wrote: >> >> >> We would appear more friendly if multiple people said hello when someone >> joins the PETSc Discord. >> >> Barry >> >
