summary refs log tree commit diff stats
path: root/pragmatics.txt
diff options
context:
space:
mode:
authorAndrew Yu <andrew@andrewyu.org>2022-04-16 18:59:29 +0200
committerAndrew Yu <andrew@andrewyu.org>2022-04-16 18:59:29 +0200
commit77e055a2f12ece9c3ab6540dd8093b96b63b4246 (patch)
tree83df768c3c1b8c0985850c100879808a9eb16daf /pragmatics.txt
parent49e300d91452f6347830c82dd9378cdea7d87fd4 (diff)
downloadwww-77e055a2f12ece9c3ab6540dd8093b96b63b4246.tar.gz
typo
Diffstat (limited to 'pragmatics.txt')
-rw-r--r--pragmatics.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/pragmatics.txt b/pragmatics.txt
index 00ee04c..1a6cca0 100644
--- a/pragmatics.txt
+++ b/pragmatics.txt
@@ -99,7 +99,7 @@ Yu                            Informational                     [Page 1]
    specifies that third-party platform identities, such as email and
    GitHub, are how users should be referenced both internally by servers
    and shown to other users.  This is obviously an increadibly foolish
-   isea, especially considering the use of centralized identity servers
+   idea, especially considering the use of centralized identity servers
    (similar to X509 certificate authorities) for 3PIDs.  These are our
    first targets, but these should also be easy to get the idea across.