diff -r e12ff6f7add3 -r eb4c6284602f tools/.gnupg/pubring.gpg Binary file tools/.gnupg/pubring.gpg has changed