[master] 3d1489800 Typo (or is "Grammaro" a thing ?)

Poul-Henning Kamp phk at FreeBSD.org
Wed Nov 30 15:30:07 UTC 2022

commit 3d1489800da4d6357b3c47087b16e4fe9c9e61ab
Author: Poul-Henning Kamp <phk at FreeBSD.org>
Date:   Wed Nov 30 15:28:58 2022 +0000

    Typo (or is "Grammaro" a thing ?)
    Spotted as always: by Dridi

diff --git a/doc/sphinx/phk/cheri6.rst b/doc/sphinx/phk/cheri6.rst
index adf5d83cb..02e2f9401 100644
--- a/doc/sphinx/phk/cheri6.rst
+++ b/doc/sphinx/phk/cheri6.rst
@@ -110,7 +110,7 @@ this is *precisely* why my own
 `phkmalloc <https://papers.freebsd.org/1998/phk-malloc/>`_
 became a big hit twenty years ago:  By firmly separating the metadata
 from the allocated space, several new classes of mistakes using the
-``malloc(3)`` API could, and was, detected.
+``malloc(3)`` API could, and were, detected.
 But this *is* going to be an embuggerance for CHERI users, because
 with CHERI getting from one pointer to different one is actual work.

More information about the varnish-commit mailing list