update arma's gpg key
I have a new gpg subkey, and I think the way to get that key updated here is to file a gitlab ticket. This is that ticket! Thanks.
I have a new gpg subkey, and I think the way to get that key updated here is to file a gitlab ticket. This is that ticket! Thanks.