Hi all, As hinted at in debian-project[1], there will be a BoF about the PGP/PKI clean room 17:00 today in Woody Regards, Daniel 1. https://lists.debian.org/debian-project/2017/08/msg00018.html