mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-24 20:08:10 +01:00
f873790b6f
In the decade (!) since this corpus was last updated, the keyserver network is essentially dead, and I have migrated gpg keys. Bump the version number as a clean way of switching signatures. Also update the instructions to suggest using "--locate-external-key" to download the public key. By default this uses WKD, which is now supported for my UID.
3 lines
98 B
Bash
3 lines
98 B
Bash
# this should be both a valid Makefile fragment and valid POSIX(ish) shell.
|
|
|
|
PERFTEST_VERSION=0.5
|