Let's meet again today at the usual time (10am Central US / 11am Eastern US / 5pm Central Europe) to continue the discussion on signals. As always, the connection details and the draft document are at https://github.com/mpiwg-rma/mpi-standard/wiki. Cheers Joseph