From 83ef99f67fda11b268098a271f56b990e295bbc2 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Tue, 20 Dec 2022 10:48:41 +0100
Subject: [PATCH 03/17] Add KC Sivaramakrishnan as author

For the two new chapters "Parallel programming" and "Memory model".

Follow-up to #11280.

(cherry picked from commit e6340ced8ca1d46f11eaea8e0474d1eb2142fe1c)
---
 manual/src/allfiles.etex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/manual/src/allfiles.etex b/manual/src/allfiles.etex
index 6600943f54..3e07555b85 100644
--- a/manual/src/allfiles.etex
+++ b/manual/src/allfiles.etex
@@ -12,7 +12,8 @@
                 release \ocamlversion \\[1cm]
 \Large          Documentation and user's manual \\[1cm]
 \large          Xavier Leroy, \\
-                Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon \\[1cm]
+                Damien Doligez, Alain Frisch, Jacques Garrigue, \\
+                Didier Rémy, KC Sivaramakrishnan and Jérôme Vouillon \\[1cm]
                 \today \\
                 ~
 \vfill
-- 
2.41.0