[mpiwg-tools] Reminder: vacation season and no call for the next few weeks

7 Jul 2022


      If I remember correctly, at least including July 21st.

- Joachim

Protze, Joachim