Remove old signing key

Author: sodabrew

ci/mysql57.sh

@@ -5,7 +5,6 @@ set -eux
 apt-get purge -qq '^mysql*' '^libmysql*'
 rm -fr /etc/mysql
 rm -fr /var/lib/mysql
-apt-key add support/5072E1F5.asc # old signing key
 apt-key add support/3A79BD29.asc # 5.7.37 and higher
 apt-key add support/B7B3B788A8D3785C.asc # 8.1 and higher
 # Verify the repository as add-apt-repository does not.

ci/mysql80.sh

@@ -5,7 +5,6 @@ set -eux
 apt-get purge -qq '^mysql*' '^libmysql*'
 rm -fr /etc/mysql
 rm -fr /var/lib/mysql
-apt-key add support/5072E1F5.asc # old signing key
 apt-key add support/3A79BD29.asc # 8.0.28 and higher
 apt-key add support/B7B3B788A8D3785C.asc # 8.1 and higher
 # Verify the repository as add-apt-repository does not.