Noah Misch f47482609f Fix typo in person's name.
Back-patch v16..v12 (all supported versions); master is unaffected.
2023-11-18 17:31:18 -08:00
..
2023-11-18 17:31:18 -08:00