Dear all,
We should meet again today to continue the discussion on signals. We'll
meet in the usual spot at 10am Central US / 11am Eastern US / 5pm
Central Europe. The connection info is as always at
https://github.com/mpiwg-rma/mpi-standard/wiki. Please let me know if
you cannot access that page so I can add you to the github group.
See you there,
Joseph
