]> git-server-git.apps.pok.os.sepia.ceph.com Git - keys.git/commitdiff
projects / keys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4938097 066b9b5)
Merge pull request #381 from pdvian/wip-pdhange-keys
authoradam kraitman <53821603+akraitman@users.noreply.github.com>
Thu, 2 Feb 2023 18:09:35 +0000 (20:09 +0200)
committerGitHub <noreply@github.com>
Thu, 2 Feb 2023 18:09:35 +0000 (20:09 +0200)
Replace Prashant's pubkey


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.