[Tei-council] GPG Key Expiration

Dear Council, Just to let you know — as part of creating the P5 4.2.2 release, I needed to update the expiration date for the gpg key, in order to build the Debian Package. I’ve set it for 3 months hence, but obviously it can be changed to whatever the Council thinks is appropriate! Best wishes, Nicholas