Was the ROS gpg key supposed to change? Bionic now uses F42ED6FBAB17C654 as of June 6, 2019
My server stopped updating, when I investigated I found that at least the Bionic packages seem to be signed with a new public key. The installation instructions still specify the old key, was this change intentional?
New key: F42ED6FBAB17C654