[SubPro-IRT] SubPro IRT Meeting #6 | 11 July 2023, 13:00-14:00 UTC