<div dir="ltr">Hi Developers,<div><br></div><div>Just be curious about how many users subscribe currently in  <a href="mailto:petsc-users@mcs.anl.gov">petsc-users@mcs.anl.gov</a>? In other words, how many users will receive messages from <a href="mailto:petsc-users@mcs.anl.gov">petsc-users@mcs.anl.gov</a>?</div><div><br></div><div><br></div><div>Thanks,</div><div><br></div><div>Fande</div></div>