Generated.

[homepage.git] / blog / archive / 2016 / 11 / 11.rss

diff --git a/blog/archive/2016/11/11.rss b/blog/archive/2016/11/11.rss
index a699ba4921ad819744cf78c27a391e9e09184f72..a01fd7da1d30f9f0e992d659c72035667552f48a 100644 (file)
--- a/blog/archive/2016/11/11.rss
+++ b/blog/archive/2016/11/11.rss
@@ -33,7 +33,7 @@ provide valuable information.</p>
 
 <p>So, on to the list.  There were some used by many, some used by a
 few, some rarely used ones and a few mentioned but without anyone
-claiming to use them.  Notice the grouping is in realty quite random
+claiming to use them.  Notice the grouping is in reality quite random
 given the biased self selected set of participants.  First the ones
 used by many:</p>