diff -r a7df07b4c395 -r bd927e2ddab3 tools/.gnupg/pubring.gpg Binary file tools/.gnupg/pubring.gpg has changed