New GPG keys deployed for packages.ros.org

[trusktr]

Sorry, I wasn’t checking the date of the original post, and I thought this thread was for the new incident described at

ROS GPG Key Expiration Incident

ROS GPG Key Expiration Incident This evening the ROS GPG keys inadvertently expired and caused apt failures for a number of users. In our response to a security incident two years ago we deployed a new GPG key with a 2 year expiration however; we neglected to set a reminder to extend the expiration date of a GPG key prior to its expiration. A full description of the security breach and the remediation can be found in this ROS Discourse post. The expired GPG key is used in a number of places, i…

Does that mean that the following page is outdated and should list a new value there instead of C1CF6E31E6BADE8868B172B4F42ED6FBAB17C654?

http://wiki.ros.org/Installation/Ubuntu/Sources

Surely many people are hitting that page, and it’s not working…