[Tei-council] GPG Key

Sorry, Peter! I was just double-checking everything.

On 23 Feb 2021, at 09:12, Peter Stadler wrote:

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