Re: [Tei-council] GPG Key

Well, I already did so, see https://github.com/TEIC/TEI-apt-repo/commit/ada1b44f9d2beaf6d80142f596a5b141... The updated (public) key has been uploaded to the key servers and our local copy on the huma-num server will get updated by the release. Sorry, should have informed you about that in advance! Peter

Am 23.02.2021 um 10:09 schrieb Nicholas Cole :

Dear Council,

Just to note that the current expiration date for the TEI GPG key is the second of next month. This can be extended, of course, without problem, but I’m not sure whose task that is.

Best wishes,

Nicholas _______________________________________________ Tei-council mailing list Tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council