On-line IRC Business Meeting 2020 On-line IRC Business Meeting (10 August 2020) (PDF, 4.49 MB)Minutes and WG-Summaries