> has PGP key been changed? Yes, it has. The release announcement contains a link to the new key (https://www.isc.org/files/pgpkey2009.txt). We should have flagged the change more prominently, sorry about that. -- Evan Hunt -- each at isc.org Internet Systems Consortium, Inc.