Fix typo in person's name.
authorNoah Misch <[email protected]>
Sun, 19 Nov 2023 01:31:18 +0000 (17:31 -0800)
committerNoah Misch <[email protected]>
Sun, 19 Nov 2023 01:31:21 +0000 (17:31 -0800)
commit0ef893bbad9563695d49f1c6a1ec9b6634eb9409
treea43f9bf789025355bd11e0ae4e15e5e802934fee
parentf499d2b20b42c34a3941ca284ed58b95c0ce330c
Fix typo in person's name.

Back-patch v16..v12 (all supported versions); master is unaffected.
doc/src/sgml/release-12.sgml