2020 Steering Council Election Results

Were the results announced somewhere? I couldn’t find anything on discuss or the mailing list (with various variations of the search terms), but I did find the results here. The history section in PEP 13 should also be updated to reflect this.

The results can be found here. There were announcements made as well, but someone else can probably drop links to the announcements in this topic.