diff options
Diffstat (limited to 'tools/mail-signed-keys')
| -rwxr-xr-x | tools/mail-signed-keys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mail-signed-keys b/tools/mail-signed-keys index c63001a45..3c564f11c 100755 --- a/tools/mail-signed-keys +++ b/tools/mail-signed-keys @@ -41,7 +41,7 @@ if [ -z "$signedby" ]; then fi if [ "$dryrun" = "0" ]; then - echo "About to send the the keys signed by $signedby" >&2 + echo "About to send the keys signed by $signedby" >&2 echo -n "to their owners. Do you really want to do this? (y/N)" >&2 read [ "$REPLY" != "y" -a "$REPLY" != "Y" ] && exit 0 |