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

[Pierre Jolivet]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: petsc.png
Type: image/png
Size: 116947 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20241119/e079898e/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not_petsc.png
Type: image/png
Size: 46395 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20241119/e079898e/attachment-0003.png>
-------------- next part --------------


> 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
>