Gitweb:
https://git.exim.org/exim.git/commitdiff/97045ae80155d4423540405d514020ee1963f42d
Commit: 97045ae80155d4423540405d514020ee1963f42d
Parent: 1ad20e19a669731c19852c865facabe4816ae4f9
Author: Jeremy Harris <jgh146exb@???>
AuthorDate: Sun Mar 7 00:07:24 2021 +0000
Committer: Jeremy Harris <jgh146exb@???>
CommitDate: Sun Mar 7 00:07:24 2021 +0000
Revert "Docs: typos"
This reverts commit 1ad20e19a669731c19852c865facabe4816ae4f9.
These are not typos; "provably" is a real word and accurate in context.
---
doc/doc-docbook/spec.xfpt | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/doc-docbook/spec.xfpt b/doc/doc-docbook/spec.xfpt
index 23f34a3..2a2f81c 100644
--- a/doc/doc-docbook/spec.xfpt
+++ b/doc/doc-docbook/spec.xfpt
@@ -27235,7 +27235,7 @@ choose to honour.
A &'realm'& is a text string, typically a domain name, presented by a server
to a client to help it select an account and credentials to use. In some
-mechanisms, the client and server probably agree on the realm, but clients
+mechanisms, the client and server provably agree on the realm, but clients
typically can not treat the realm as secure data to be blindly trusted.
@@ -41025,7 +41025,7 @@ There is no dot-stuffing (and no dot-termination).
.section "DKIM (DomainKeys Identified Mail)" SECDKIM
.cindex "DKIM"
-DKIM is a mechanism by which messages sent by some entity can be probably
+DKIM is a mechanism by which messages sent by some entity can be provably
linked to a domain which that entity controls. It permits reputation to
be tracked on a per-domain basis, rather than merely upon source IP address.
DKIM is documented in RFC 6376.
