[petsc-dev] please say hello to new arrivals on Discord

[Barry Smith]

   I couldn't google anything about it working for some people and not others.


> On Nov 19, 2024, at 12:56 AM, Pierre Jolivet <pierre at 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 <bsmith at petsc.dev> wrote:
>> 
>> 
>>  We would appear more friendly if multiple people said hello when someone joins the PETSc Discord. 
>> 
>>  Barry
>> 
>