I’ve opened the merge request for this.However, the pipeline is not running right now (it initially failed when my profile was not verified). Could you please help trigger the pipeline and take a look? _______________________________________________ Mailman-Developers mailing list -- [email protected] To unsubscribe send an email to [email protected] https://mail.python.org/mailman3/lists/mailman-developers.python.org/ Mailman FAQ: https://wiki.list.org/x/AgA3
Security Policy: https://wiki.list.org/x/QIA9
