From 38b7e57d2e867cae81af84ff8324efe542252031 Mon Sep 17 00:00:00 2001
From: Ved Shanbhogue <91900059+ved-rivos@users.noreply.github.com>
Date: Thu, 7 Mar 2024 09:23:13 -0600
Subject: [PATCH] Update contributors

Signed-off-by: Ved Shanbhogue <91900059+ved-rivos@users.noreply.github.com>
---
 header.adoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/header.adoc b/header.adoc
index a25f5a8..f6de5a8 100644
--- a/header.adoc
+++ b/header.adoc
@@ -62,7 +62,7 @@ Copyright 2024 by RISC-V International.
 [preface]
 === Contributors
 This RISC-V specification has been contributed to directly or indirectly by:
-Ved Shanbhogue, Andrew Waterman, Gianluca Guida
+Ved Shanbhogue, Andrew Waterman, Gianluca Guida, Hans Boehm
 
 == Introduction