Re: [mpiwg-rma] RMA WG meeting this week: device-triggered communication