1dac7c
Update GPG key of minnie The key expired, so it needed to be extended and hence the content of this file needs to be updated now.